Logo DIMAp-UFRN
Federal University of Rio Grande do Norte 
Department of Informatics and Applied Mathematics
Laboratory of Logic and Computational Intelligence
Natal - Rio Grande do Norte- BRAZIL
 Logo UFRN
 
Contacts Academic Formation Interest Areas Curriculum Vitae Main Publications Students DISCIPLINES Research Groups Conferences Links

DISCIPLINAS USUALMENTE MINISTRADAS

DIM050
Lógica Aplicada
à Computação
Notas de Aula: Benjamín R.C. Bedregal e Benedito M. Acióly. Lógica para a Computação. Versão ano 2000.
Provas 1a unidade: p1, p2, p3, p4 
Provas 2a unidade: p1, p2, p3
Provas 3a unidade: p1, p2, p3, p4, p5, p6, p7
Ementa: Histórico evolutivo. Fundamentos de Lógica: Lógica Sentencial; Lógica de primeira ordem. Notação clausal e o Teorema de Herbrand. Prova Automática de Teoremas: Resolução, Refutação por Resolução, Eliminação de Modelos e Negação por falha finita.
Programa
DIM049
Teoria da
Computação
Texto base: Benedito M. Acióly, Benjamín R. C. Bedregal, Aarão Lyra. Introdução à Teoria das Linguagens Formais, dos Autômatos e da Computabilidade. Edições UnP, 2002.
Provas 
Material Complementar
Programa
Ementa: Objetivos. Histórico. Computabilidade. Tese de Church. Hierarquia de Chomski: Linguagem; Gramáticas; Autômatos. Máquina de Turing. Decibilidade.
Notas 2005.2: Turma 1 e Turma 2
Contacts Academic Formation Interest Areas Curriculum Vitae Main Publications Students DISCIPLINES Research Groups Conferences Links