Mudanças entre as edições de "Lógica - engtelecom (página)"
Linha 119: | Linha 119: | ||
* Participação no SBESC 2013 (Niterói/RJ) | * Participação no SBESC 2013 (Niterói/RJ) | ||
− | ==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]== | + | ==12/11/13: Equivalência Lógica == |
+ | * Correção da [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10] | ||
+ | |||
+ | ==19/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] | ||
− | == | + | ==26/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] | ||
− | == | + | ==03/12/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] | ||
− | |||
− | |||
− | |||
− | |||
==10/12/13: Avaliação 2== | ==10/12/13: Avaliação 2== |
Edição das 13h19min de 19 de novembro 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)
Pega-se 1 moeda do primeiro grupo, 2 moedas do segundo grupo, 3 moedas do terceiro grupo, 4 moedas de quarto grupo e assim sucessivamente até 10 moedas do décimo grupo, pesando tudo uma só vez. O peso que faltar para 10+20+30+40+50+60+70+80+90+100=550 gramas é o numero grupo que tem as moedas de 9 gramas. Exemplo 1: Pesagem 548, temos 2 moedas de 9 gramas logo se pesar 548 é o segundo grupo quem deu 2 moedas de 9g. Exemplo 2: Pesagem 545, temos 5 moedas de 9 gramas logo se pesar 545 é o quinto grupo quem deu 5 moedas de 9g. Exemplo 3: Pesagem 549, temos 1 moedas de 9 gramas logo se pesar 549 foi o primeiro grupo quem deu 1 moeda de 9g. 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: Aula de ELI (Prof. Pedro Armando Jr.)
12/11/13: Equivalência Lógica
19/11/13: Lógica de Primeira Ordem (cálculo de predicados) Aula 8
26/11/13: Lógica de Primeira Ordem: sintaxe e semântica
03/12/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9
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
|