Aulas Lógica para Computação I

Prévia do material em texto

Ministério da Educação 
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ 
Campus Pato Branco 
 
PLANO DE AULA 
 
CURSO 195 - Engenharia de Computação MATRIZ 535 
 
DISCIPLINA/UNIDADE CURRICULAR CÓDIGO PERÍODO TURMA 
Lógica para Computação LC21CP 1º 1CP 
PROFESSOR 
Silvio Luiz Bragatto Boss 
 
ANO/SEMESTRE CARGA HORÁRIA 
2016/01 
AT AP APS AD TOTAL 
34 34 4 0 72 
AT: Atividades Teóricas, AP: Atividades Práticas, APS: Atividades Práticas Supervisionadas, AD: Atividades 
a Distância. 
 
DIAS DAS AULAS PRESENCIAIS 
Dia da Semana Segunda Terça Quarta Quinta Sexta Sábado 
Nº de aulas no 
semestre 
19*2= 38 19*2= 38 0 0 0 0 
 
PROGRAMA E CONTEÚDO DAS AULAS (PREVISÃO) 
Dia/Mês ou Semana Conteúdo das Aulas Nº de 
aulas 
(29,01,07,08,14,15) 
Fevereiro/Março 
Introdução. A Linguagem Proposicional; Fórmulas e sub-fórmulas. 
Tamanho de fórmulas. Semântica. Satisfabilidade; Exercícios de 
Fórmulas e sub-fórmulas, Tamanho de fórmulas, Semântica e 
Satisfabilidade; Validade e Tabelas da Verdade. Consequência lógica; 
Exercícios de Tabelas da Verdade e Consequência lógica. 
12 
(21,22,28,29,04,05,11) 
Março/Abril 
O que é um sistema dedutivo. Axiomatização. Substituições. Axiomas; 
Dedução e Teoremas. O Teorema da Dedução. Introdução à Dedução 
Natural; Exercícios Dedução e Teoremas, Teorema da Dedução e 
Dedução Natural; Introdução ao Método dos Tableaux Analíticos. 
Correção e Completude. Decidibilidade. 
14 
12 de Abril Primeira Prova - P1 2 
(18,19,25,26,02,03,09) 
Abril/Maio 
Estudo sobre a implementação de um Provador de Teoremas. Formas 
Normais. Forma Normal Conjuntiva ou Forma Clausal. Forma Normal 
Disjuntiva. Resolução; O Problema de Satisfabilidade SAT; O Método 
DPLL; Lista de exercícios valendo nota sobre: Linguagem Proposicional, 
Tabelas-Verdade, Dedução e Teoremas. 
14 
(10,16,17,23,24,30,31) 
Maio 
A Linguagem de Predicados Monádicos e Poliádicos; Exercícios de 
Linguagem de Predicados Monádicos e Poliádicos; Semântica. Dedução 
Natural. Axiomatização; Exercícios de Semântica, Dedução Natural e 
Axiomatização; Correção e Completude. Decidibilidade e Complexidade. 
14 
06 de Junho Segunda Prova - P2 2 
(07,13,14,20,21,27,28) 
Junho 
Introdução a linguagem Prolog; Cláusulas de Horn. PROLOG. Estratégia 
de resolução em PROLOG (regras e fatos); Especificação de 
Programas. Programas como Transformadores de Estados. 
Especificação de Propriedades sobre Programas. A Lógica como 
14 
Linguagem de Especificação. 
04 de Julho Terceira Prova - P3 2 
05 de Julho Entrega das Notas 2 
06 de Julho APS 4 
TOTAL 80 
 
PROCEDIMENTOS DE ENSINO 
AULAS TEÓRICAS 
Aulas ministradas em sala de aula, nas quais a ênfase está em explicações conceituais. 
 
AULAS PRÁTICAS 
Aulas centradas na realização de atividades práticas pelos alunos com supervisão, orientação e auxílio do 
professor; aulas em que o professor realiza a resolução tutorada de exercícios (o professor conduz a 
resolução que é acompanhada pelos alunos); aulas em que o professor exemplifica a resolução de 
exercícios. As aulas práticas incluem aulas de laboratório que são realizadas em ambientes específicos em 
que há uso de equipamentos e materiais que permitem a experimentação. 
 
ATIVIDADES PRÁTICAS SUPERVISIONADAS 
Atividades acadêmicas desenvolvidas sob a orientação, supervisão e avaliação de docentes e realizadas 
pelos discentes em horários diferentes daqueles destinados às atividades presenciais (aulas teóricas e 
aulas práticas). Estas atividades incluem: estudos dirigidos, trabalhos individuais, trabalhos em grupo, 
desenvolvimento de projetos, atividades em laboratório, atividades de campo, oficinas, pesquisas, estudos 
de casos, seminários, desenvolvimento de trabalhos acadêmicos, dentre outras. Deverá ser dada ênfase à 
realização de atividades em grupo que envolva pesquisa e seja interdisciplinar. 
 
 
PROCEDIMENTOS DE AVALIAÇÃO 
Considerar-se-á aprovado na disciplina, o aluno que tiver frequência igual ou superior a 75% (setenta e 
cinco por cento) e Nota Final igual ou superior a 6,0 (seis), consideradas todas as avaliações previstas no 
início do semestre. No caso do aluno perder alguma avaliação presencial e escrita, por motivo de doença ou 
força maior, poderá requerer uma única segunda chamada por avaliação, no período letivo. O requerimento 
deve ser protocolado no Departamento de Registros Acadêmicos dentro do prazo estabelecido pelo 
regulamento da UTFPR, a prova será aplicada após o deferimento. Para a prova de segunda chamada o 
professor definirá os conteúdos e a data da avaliação. 
 
O aluno será avaliado através de provas escritas, resolução de exercícios em sala de aula 
(desenvolvimento de trabalhos – teóricos e/ou práticos). A média do semestre será obtida pelo seguinte 
cálculo: 
 
 MP = (P1 + P2*2 + P3)/4 
 
 MT = (T1 + T2 + T3)/3 
 
 MF = MP*0,95 + MT*0,05 
 
 MP = Média das Provas 
 MT = Média dos Trabalhos 
 MF = Média Final 
 
 
 
Assinatura do Professor Assinatura do Coordenador do Curso