| ADS0003 | INTRODUÇÃO À LÓGICA DE COMPUTAÇÃO

SOBRE A DISCIPLINA

 DISCIPLINA:

• | ADS0003 | INTRODUÇÃO À LÓGICA DE COMPUTAÇÃO (ADS-EAD)

Código: ADS0003
Cargas Horárias: 64h
Semestres/Módulos: 1º/1º
Duração-Semanas: --- sem.
Período de oferta: 06 de Março a 06 de Maio de 2023
Formato: Professor-Tutor.

Ementa:

Conceitos da lógica informal. Conceitos básicos e elementos de lógica formal proposicional, regras de inferência, fórmulas bem formadas, métodos de prova, lógica de predicados (ou de primeira ordem), sintaxe e semântica de Prolog. Noções de lógicas não-clássicas.

===========================================
Professor: Dr. Ricardo Ferreira Vilela
===========================================

• Gerenciamento Moodle UFCA: Antonio Batista de Lima Filho
• Apoio, Diagramação e Moodle: Lázaro Galvão
  
• Apoio TI e Moodle: Oziel Pereira Batista

===========================================

Realização: Centro de Educação a Distância - CEAD - UFCA

Juazeiro do Norte-CE, Março de 2023.