skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: Biblioteca: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical Logic
Mathematical Logic
Mathematical Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Logic

Willard Van Orman Quine Willard QUINE

Harvard University Press 1981

Acesso online. A biblioteca também possui exemplares impressos.

2
Raciocínio lógico lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico crítico
Raciocínio lógico lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico crítico
Material Type:
Livro 		Adicionar ao Meu Espaço

Raciocínio lógico lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico crítico

Jonofon Sérates

Brasília Olimpica 1997

Localização: IME - Inst. Matemática e Estatística    (QA9.1 S482r v. 1 ) e outros locais(Acessar)

3
Programação em logica
Programação em logica
Material Type:
Livro 		Adicionar ao Meu Espaço

Programação em logica

Marco Antonio Casanova Fernando A C Giorno; Antonio Luz Furtado

Belo Horizonte Ufmg 1986

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 C263p ) e outros locais(Acessar)

4
Teoria ingenua dos conjuntos
Teoria ingenua dos conjuntos
Material Type:
Livro 		Adicionar ao Meu Espaço

Teoria ingenua dos conjuntos

Paul R. Halmos (Paul Richard), 1916-2006 Irineu Bicudo; Universidade de São Paulo Editôra

Sao Paulo EDUSP 1970

Localização: EEL - Biotecnologia e Química    (519.5 H162t ) e outros locais(Acessar)

5
A lógica paraconsistente anotada
A lógica paraconsistente anotada
Material Type:
Livro 		Adicionar ao Meu Espaço

A lógica paraconsistente anotada

Helga Gonzaga Martins Germano Lambert Torres; Luiz Francisco Pontin

Santos Comunicar 2007

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 M3661L ) e outros locais(Acessar)

6
Foundations of mathematical logic
Foundations of mathematical logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of mathematical logic

Haskell B. Curry (Haskell Brooks) 1900

New York Dover Publications 1977

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 C937f ) e outros locais(Acessar)

7
Logica e aritmetica uma introducao informal aos metodos formais
Logica e aritmetica uma introducao informal aos metodos formais
Material Type:
Livro 		Adicionar ao Meu Espaço

Logica e aritmetica uma introducao informal aos metodos formais

Augusto J Franco de Oliveira

Lisboa Gradiva 1991

Localização: CQ - Conjunto das Químicas    (001.4 O48L ) e outros locais(Acessar)

8
Introduction to logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to logic

Patrick Suppes (Patrick Colonel), 1922-2014

New York Van Nostrand 1957

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 Su76i e.2 ) e outros locais(Acessar)

9
Introduction to metamathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to metamathematics

Stephen Cole Kleene 1909-

Groningen Wolters-Noordhoff Pub 1971

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 K672i e.2 ) e outros locais(Acessar)

10
Artificial intelligence a modern approach
Artificial intelligence a modern approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence a modern approach

Stuart J. Russell (Stuart Jonathan) Peter Norvig

Upper Saddle River Prentice Hall c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.8 R917a3 ) e outros locais(Acessar)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de1967  (5)
  2. 1967Até1980  (5)
  3. 1981Até1990  (5)
  4. 1991Até2000  (10)
  5. Após 2000  (9)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hofstadter, D
  2. Kleene, S
  3. Halmos, P
  4. Casanova, M
  5. Russell, S

Neste Assunto:

  1. Lógica Matemática
  2. Logic, Symbolic And Mathematical
  3. Inteligência Artificial
  4. Lógica Simbólica
  5. Mathematics

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.