Portal do Governo Brasileiro

Thiago Medeiros

Ferramentas Pessoais

Início

Docentes

Acessibilidade

  • alto contraste
  • aumentar fonte
  • fonte normal
  • diminuir fonte

Ir para o conteúdo. | Ir para a navegação

Busca Avançada…
Você está aqui: Página Inicial › Disciplinas › Lógica Computacional
Info

Lógica Computacional

 Título   Tipo 
Arquivo Ementa Arquivo
In Raymond Smullyan, "Eternamente Indeciso", trad. João Marcos Link
Slides do Prof. Diego Nascimento sobre Lógica Link
Cap. Lógica Clássica Proposicional do prof. João Marcos Link
Curso LÓGICA COMPUTACIONAL: demonstração assistida e semi-automática de teoremas do Prof. João Marcos Link
Projeto Logicamente Link
Exercício: Lógica e Representação do Conhecimento Expresso na Linguagem Natural Link
Lógica Proposicional: Linguagem e Semântica Link
Lógica Proposicional: Consequência Semântica Link
Uma breve historia da Lógica Link
Arquivo Lógica Proposicional: Consequência Semântica II Arquivo
Navegação
  • Início
  • Disciplinas
    • Desenvolvimento Web
    • Lógica Computacional
      • File Ementa
      • In Raymond Smullyan, "Eternamente Indeciso", trad. João Marcos
      • Slides do Prof. Diego Nascimento sobre Lógica
      • Cap. Lógica Clássica Proposicional do prof. João Marcos
      • Curso LÓGICA COMPUTACIONAL: demonstração assistida e semi-automática de teoremas do Prof. João Marcos
      • Projeto Logicamente
      • Exercício: Lógica e Representação do Conhecimento Expresso na Linguagem Natural
      • Lógica Proposicional: Linguagem e Semântica
      • Lógica Proposicional: Consequência Semântica
      • Uma breve historia da Lógica
      • File Lógica Proposicional: Consequência Semântica II
    • Informática Básica
    • Algoritmos
    • Programação Estruturada e Orientada a Objetos
    • Sistema Operacional
  • Currículo Lattes
  • Palestras
  • Trabalhos
  • Diversos
« Junho 2025 »
Junho
DoSeTeQuQuSeSa
1234567
891011121314
15161718192021
22232425262728
2930
  • Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte | Reitoria
  • Rua Dr. Nilo Bezerra Ramalho, 1692, Tirol
  • CEP: 59015-300
  • Email: comunicacao.reitoria@ifrn.edu.br
  • Telefone: 4005-0757
  • Sítio: http://portal.ifrn.edu.br
  • Facebook
  • Twitter
  • Youtube