Línguas dos países Matemática Ciência Ciências sociais Negócios Engenharia Humanidades História
  1. Matemática
  2. Educação matemática
  3. Lógica
Quantificadores (resumo)
Quantificadores (resumo)
Prolog - Edirlei Soares de Lima
Prolog - Edirlei Soares de Lima
Lógica:
Lógica:
Lógica não monotônica com prioridade às exceções
Lógica não monotônica com prioridade às exceções
Inferência em Lógica de Primeira Ordem
Inferência em Lógica de Primeira Ordem
fundamentos da lógica, uma abordagem informal
fundamentos da lógica, uma abordagem informal
Fundamentos da Lógica Lógica Proposicional
Fundamentos da Lógica Lógica Proposicional
lógica, indução e iniciação matemática
lógica, indução e iniciação matemática
Lógica e teoria dos conjuntos (propostas de resolução)
Lógica e teoria dos conjuntos (propostas de resolução)
Linguagens Formais - Aquiles Burlamaqui
Linguagens Formais - Aquiles Burlamaqui
L-EditXML: Ambiente para Manipulação e
L-EditXML: Ambiente para Manipulação e
ISSN- 1980-8372 - Revista Eletrônica Estudos Hegelianos
ISSN- 1980-8372 - Revista Eletrônica Estudos Hegelianos
3 estatuto da lógica - Maxwell - PUC-Rio
3 estatuto da lógica - Maxwell - PUC-Rio
3 - LC
3 - LC
(LPO) ou Cálculo Relacional - Departamento de Computação e
(LPO) ou Cálculo Relacional - Departamento de Computação e
O ARGUMENTO ONTOLÓGICO DE PLANTINGA
O ARGUMENTO ONTOLÓGICO DE PLANTINGA
Metodologia D3M para Transformar Variáveis e Incorporar
Metodologia D3M para Transformar Variáveis e Incorporar
Visualizar/Abrir - RI FURG Repositório Institucional da Universidade
Visualizar/Abrir - RI FURG Repositório Institucional da Universidade
revista científica sensus: direito
revista científica sensus: direito
REPRESENTAÇÃO DE CONHECIMENTOS PARTE 3: LÓGICA DE
REPRESENTAÇÃO DE CONHECIMENTOS PARTE 3: LÓGICA DE
Representação de conhecimento em lógica
Representação de conhecimento em lógica