Introdução à Lógica

Introdução à Lógica

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
UNIÃO DINÂMICA DE FACULDADES CATARATAS – UDC UNIÃO DINÂMICA DE FACULDADES CATARATAS – UDC FACULDADE DINÂMICA PLANO DE ENSINO 2º SEMESTRE/2003 CURSO PERÍODO SISTEMAS DE INFORMAÇÃO 2 o DISCIPLINA NOME CARGA HORÁRIA INTRODUÇÃO À LÓGICA 36 Horas/aula PROFESSOR: Sérgio Dalmás EMENTA Lógica. Sentenças. Representação Simbólica e Tautologias. Quantificadores, Predicados e Validade. Lógica Proposicional. Lógica de Predicados. Circuitos Lógicos. Linguagens Simbólicas. Programação Lógica e Prova de Correção. OBJETIVOS 1. Objetivos Gerais: Desenvolvimento da capacidade de participar, investigar, se expressar (escrita e verbalmente), compreender, abstrair, raciocinar logicamente, interpretar (textos e oratórias), sintetizar, criar, organizar, analisar, refletir, criticar, resolver, generalizar e concluir. 2. Objetivos Específicos : Os alunos deverão ser capaz de trabalhar com os símbolos formais da lógica, achar o valor-verdade de expressões, usar a lógica de predicados para representar sentenças da língua portuguesa, construir demonstrações formais e determinar a
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/25/2011 for the course ENG 101 taught by Professor Sd during the Spring '11 term at UFSC.

Page1 / 3

Introdução à Lógica

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online