Mudanças entre as edições de "Lógica - engtelecom (página)"
Linha 51: | Linha 51: | ||
** [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência] | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência] | ||
− | == | + | ==20/08/13: Introdução a Lógica ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf Aula 1])== |
* Apresentação da disciplina | * Apresentação da disciplina | ||
* Lógica formal | * Lógica formal | ||
Linha 57: | Linha 57: | ||
* Exercícios de raciocínio lógico ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1]) | * Exercícios de raciocínio lógico ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1]) | ||
− | == | + | ==27/08/13: Lógica Clássica e Lógica Simbólica ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]) == |
* Lógica Clássica e Lógica Simbólica | * Lógica Clássica e Lógica Simbólica | ||
* Proposições e Predicados | * Proposições e Predicados | ||
Linha 63: | Linha 63: | ||
* Lista Exercícios III [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3]) | * Lista Exercícios III [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3]) | ||
− | == | + | ==03/09/13: Lógica Proposicional== |
* Não haverá aula de Lógica | * Não haverá aula de Lógica | ||
* Participação em Banca de Concurso para Professores efetivos do IFSC (Lages/SC) | * Participação em Banca de Concurso para Professores efetivos do IFSC (Lages/SC) | ||
* Aula será resposta posteriormente | * Aula será resposta posteriormente | ||
− | == | + | ==10/09/13: Proposições Simples ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_proposicional.pdf Aula 3])== |
* Revisão e correção de exercícios | * Revisão e correção de exercícios | ||
* Cálculo proposicional Simples | * Cálculo proposicional Simples | ||
Linha 74: | Linha 74: | ||
* Lista de exercícios IV [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4] | * Lista de exercícios IV [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4] | ||
− | == | + | ==17/09/13: Proposições Compostas ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/proposicoes_compostas.pdf Aula 4])== |
* Proposições Compostas | * Proposições Compostas | ||
* Lista Exercícios V [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5]) | * Lista Exercícios V [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5]) | ||
− | == | + | ==24/09/13: Ordem de Precedência das Operações== |
* Ordem de Precedência das operações (conectivos) | * Ordem de Precedência das operações (conectivos) | ||
Linha 85: | Linha 85: | ||
* Lista Exercícios Revisão para Avaliação [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista_revisao1.pdf Lista de Revisão]) | * Lista Exercícios Revisão para Avaliação [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista_revisao1.pdf Lista de Revisão]) | ||
− | == | + | ==01/10/13: Avaliação 1== |
* Avaliação individual e sem consulta. | * Avaliação individual e sem consulta. | ||
* Conceitos Avaliação 1 [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-1.pdf clique aqui] | * Conceitos Avaliação 1 [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-1.pdf clique aqui] | ||
− | == | + | ==08/10/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica.pdf Aula 5]== |
* Vista de prova (avaliação 1) | * Vista de prova (avaliação 1) | ||
* Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação. | * Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação. | ||
Linha 95: | Linha 95: | ||
* Lista de Exercícios VII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7] | * Lista de Exercícios VII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7] | ||
− | == | + | ==15/10/13: Construção de Tabelas Verdade [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica_simplificacoes.pdf Aula 6]== |
* Guia de referência (conectivos, relações de equivalência e inferência): [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência] | * Guia de referência (conectivos, relações de equivalência e inferência): [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência] | ||
* Lista de Exercícios VIII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8] | * Lista de Exercícios VIII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8] | ||
− | == | + | ==22/10/13: Construção de Tabelas Verdade [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/inferencia_logica_simplificacoes.pdf Aula 7]== |
* Regras de inferência lógica. | * Regras de inferência lógica. | ||
* Lista de Exercícios IX [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9] | * Lista de Exercícios IX [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9] | ||
− | == | + | ==29/10/13: Equivalência Lógica== |
* Revisão: exercícios de inferência lógica (Lista X): [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10] | * Revisão: exercícios de inferência lógica (Lista X): [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10] | ||
− | == | + | ==05/11/13: Lógica de Primeira Ordem (cálculo de predicados) == |
* Correção da lista de exercícios em sala | * Correção da lista de exercícios em sala | ||
− | == | + | ==12/11/13: Lógica de Primeira Ordem (cálculo de predicados) [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/predicados_quantificadores.pdf Aula 8]== |
* Cálculo de Predicados (Predicados, variáveis e quantificadores) | * Cálculo de Predicados (Predicados, variáveis e quantificadores) | ||
* Lista de exercícios XI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11] | * Lista de exercícios XI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11] | ||
− | == | + | ==19/11/13: Lógica de Primeira Ordem: sintaxe e semântica== |
* Lista de exercícios de revisão XII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista12.pdf Lista 12] | * Lista de exercícios de revisão XII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista12.pdf Lista 12] | ||
− | == | + | ==26/11/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/regras_deducao_log_predicados.pdf Aula 9]== |
* Lista de exercícios XIII: Cálculo de predicados [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista13.pdf Lista 13] | * Lista de exercícios XIII: Cálculo de predicados [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista13.pdf Lista 13] | ||
− | == | + | ==03/12/13: Método dedutivo, Formas Normais== |
* Correção de lista de exercícios | * Correção de lista de exercícios | ||
* Exercícios de revisão para avaliação final | * Exercícios de revisão para avaliação final | ||
− | == | + | ==10/12/13: Avaliação 2== |
* Vista de Prova 2: [http://www.sj.ifsc.edu.br/~tisemp/LOG/vista_prova_log.pdf clique aqui] | * Vista de Prova 2: [http://www.sj.ifsc.edu.br/~tisemp/LOG/vista_prova_log.pdf clique aqui] | ||
* Conceitos Avaliação 2: [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-1.pdf clique aqui] | * Conceitos Avaliação 2: [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-1.pdf clique aqui] | ||
− | == | + | ==17/12/13: Encerramento da Disciplina== |
* Avaliações de Recuperação A1 e A2 | * Avaliações de Recuperação A1 e A2 | ||
{{Collapse bottom}} | {{Collapse bottom}} |
Edição das 18h08min de 18 de agosto de 2013
MURAL DE AVISOS E OPORTUNIDADES DA ÁREA DE TELECOMUNICAÇÕES
Carga horária, Ementas, Bibliografia, Professores
Plano de Ensino
Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom |
---|
Diário de aula de LOG - 2013-2 - Prof. Tiago SemprebomInstrutorProfessor: Tiago Semprebom, Dr. Eng.
Material de apoio
20/08/13: Introdução a Lógica (Aula 1)
27/08/13: Lógica Clássica e Lógica Simbólica (Aula 2)
03/09/13: Lógica Proposicional
10/09/13: Proposições Simples (Aula 3)
17/09/13: Proposições Compostas (Aula 4)
24/09/13: Ordem de Precedência das Operações
01/10/13: Avaliação 1
08/10/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) Aula 5
15/10/13: Construção de Tabelas Verdade Aula 6
22/10/13: Construção de Tabelas Verdade Aula 7
29/10/13: Equivalência Lógica
05/11/13: Lógica de Primeira Ordem (cálculo de predicados)
12/11/13: Lógica de Primeira Ordem (cálculo de predicados) Aula 8
19/11/13: Lógica de Primeira Ordem: sintaxe e semântica
26/11/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9
03/12/13: Método dedutivo, Formas Normais
10/12/13: Avaliação 2
17/12/13: Encerramento da Disciplina
|
Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom |
---|
Diário de aula de LOG - 2013-1 - Prof. Tiago SemprebomInstrutorProfessor: Tiago Semprebom, Dr. Eng.
Material de apoio
02/04/13: Introdução a Lógica (Aula 1)
09/04/13: Lógica Clássica e Lógica Simbólica (Aula 2)
16/04/13: Lógica Proposicional
23/04/13: Proposições Simples (Aula 3)
30/04/13: Proposições Compostas (Aula 4)
07/05/13: Ordem de Precedência das Operações
14/05/13: Avaliação 1
21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) Aula 5
28/05/13: Construção de Tabelas Verdade Aula 6
04/06/13: Construção de Tabelas Verdade Aula 7
11/06/13: Equivalência Lógica
18/06/13: Lógica de Primeira Ordem (cálculo de predicados)
25/06/13: Lógica de Primeira Ordem (cálculo de predicados) Aula 8
02/07/13: Lógica de Primeira Ordem: sintaxe e semântica
09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9
16/07/13: Método dedutivo, Formas Normais
23/07/13: Avaliação 2
30/07/13: Encerramento da Disciplina
|