|
|
(4 revisões intermediárias pelo mesmo usuário não estão sendo mostradas) |
Linha 3: |
Linha 3: |
| = [[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]= | | = [[LOG-EngTel|Carga horária, Ementas, Bibliografia, Professores]]= |
| ==[[LOG-EngTel (Plano de Ensino) | Plano de Ensino]]== | | ==[[LOG-EngTel (Plano de Ensino) | Plano de Ensino]]== |
| + | |
| {{Collapse top | Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom}} | | {{Collapse top | Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom}} |
− | =Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom=
| + | {{LOG 29020132 2013-2}} <!-- Atualizar a cada semestre com o número da turma e semestre --> |
− | | |
− | =Instrutor=
| |
− | ''Professor'': Tiago Semprebom, Dr. Eng.
| |
− | <br>''Email'': tisemp@ifsc.edu.br
| |
− | <br>''Atendimento paralelo'': 2a feira 8:20h - 09:20h e 6a feira 9:45h - 10:45h (Lab. de Desenvolvimento de Tele) | |
− | <br> ''Endereço web do grupo'': http://groups.google.com/group/ifsc_log
| |
− | <br> ''Endereço de e-mail da disciplina'': ifsc_log@googlegroups.com
| |
− | <br>
| |
− | <br> '''IMPORTANTE:''' o direito de recuperar uma avaliação em que se faltou somente existe mediante justificativa reconhecida pela coordenação. Assim, deve-se protocolar a justificativa no prazo de 48 horas, contando da data e horário da avaliação, e aguardar o parecer da coordenação. O não cumprimento desse procedimento implica a impossibilidade de fazer a recuperação, e assim a reprovação na disciplina.
| |
− | | |
− | * [http://www.sj.ifsc.edu.br/~tisemp/LOG/plano-de-ensino.pdf Plano da disciplina]
| |
− | | |
− | = Material de apoio =
| |
− | | |
− | * Apostila de referência para disciplina de redes de computadores
| |
− | **[http://www.sj.ifsc.edu.br/~tisemp/LOG/logica.pdf Apostila de Lógica]
| |
− | | |
− | * Listas de exercícios
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista2.pdf Lista 2]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista6.pdf Lista 6]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista12.pdf Lista 12]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista13.pdf Lista 13]
| |
− | | |
− | * Transparências utilizadas durante as aulas
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf Aula 1]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_proposicional.pdf Aula 3]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/proposicoes_compostas.pdf Aula 4]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica.pdf Aula 5]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica_simplificacoes.pdf Aula 6]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/inferencia_logica_simplificacoes.pdf Aula 7]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/predicados_quantificadores.pdf Aula 8]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/regras_deducao_log_predicados.pdf Aula 9]
| |
− | | |
− | * Guia de referências (conectivos, relações de equivalência e inferê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
| |
− | * Lógica formal
| |
− | * Dedução e Indução
| |
− | | |
− | * Exercícios de raciocínio lógico ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1])
| |
− | * '''Resposta do exercício 5 da Lista de exercício 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 ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]) ==
| |
− | * Lógica Clássica e Lógica Simbólica
| |
− | * Proposições e Predicados
| |
− | * Lista Exercícios II ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista2.pdf Lista 2]
| |
− | * Lista Exercícios III [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3])
| |
− | | |
− | ==03/09/13: Lógica Proposicional==
| |
− | * Revisão e correção de exercícios
| |
− | * Cálculo proposicional Simples
| |
− | | |
− | ==10/09/13: Proposições Simples ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_proposicional.pdf Aula 3])==
| |
− | * Construção de tabelas-verdade e Funções-verdade
| |
− | * 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
| |
− | | |
− | * 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==
| |
− | * '''Não haverá aula (Assembleia Nova Resolução 13)'''
| |
− | * Ordem de Precedência das operações (conectivos)
| |
− | | |
− | * Lista Exercícios VI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista6.pdf Lista 6])
| |
− | * 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.
| |
− | * Conceitos Avaliação 1: [http://www.sj.ifsc.edu.br/~tisemp/LOG/conceitos_LOG_2013-2.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)
| |
− | | |
− | * 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]==
| |
− | * Debate: candidatos a Direção do Câmpus São José.
| |
− | * 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]
| |
− | | |
− | ==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.
| |
− | * 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]
| |
− | | |
− | ==05/11/13: Aula de ELI (Prof. Pedro Armando Jr.) ==
| |
− | * Participação no SBESC 2013 (Niterói/RJ)
| |
− | | |
− | ==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)
| |
− | * 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]
| |
− | | |
− | ==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]
| |
− | | |
− | ==10/12/13: Avaliação 2==
| |
− | * 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-2.pdf clique aqui]
| |
− | | |
− | ==17/12/13: Encerramento da Disciplina==
| |
− | * Avaliações de Recuperação A1 e A2
| |
| {{Collapse bottom}} | | {{Collapse bottom}} |
| | | |
| {{Collapse top | Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom}} | | {{Collapse top | Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom}} |
− | =Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom=
| + | {{LOG 29020131 2013-1}} <!-- Atualizar a cada semestre com o número da turma e semestre --> |
− | | |
− | =Instrutor=
| |
− | ''Professor'': Tiago Semprebom, Dr. Eng.
| |
− | <br>''Email'': tisemp@ifsc.edu.br
| |
− | <br>''Atendimento paralelo'': 3a feira 8:30h - 09:30h e 6a feira 15:45h - 15:45h (Lab. de Desenvolvimento de Tele) | |
− | <br> ''Endereço web do grupo'': http://groups.google.com/group/ifsc_log
| |
− | <br> ''Endereço de e-mail da disciplina'': ifsc_log@googlegroups.com
| |
− | <br>
| |
− | <br> '''IMPORTANTE:''' o direito de recuperar uma avaliação em que se faltou somente existe mediante justificativa reconhecida pela coordenação. Assim, deve-se protocolar a justificativa no prazo de 48 horas, contando da data e horário da avaliação, e aguardar o parecer da coordenação. O não cumprimento desse procedimento implica a impossibilidade de fazer a recuperação, e assim a reprovação na disciplina.
| |
− | | |
− | * [http://www.sj.ifsc.edu.br/~tisemp/LOG/plano-de-ensino.pdf Plano da disciplina]
| |
− | | |
− | = Material de apoio =
| |
− | | |
− | * Apostila de referência para disciplina de redes de computadores
| |
− | **[http://www.sj.ifsc.edu.br/~tisemp/LOG/logica.pdf Apostila de Lógica]
| |
− | | |
− | * Listas de exercícios
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista2.pdf Lista 2]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista6.pdf Lista 6]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista10.pdf Lista 10]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista12.pdf Lista 12]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista13.pdf Lista 13]
| |
− | | |
− | * Transparências utilizadas durante as aulas
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf Aula 1]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_simbolica.pdf Aula 2]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/logica_proposicional.pdf Aula 3]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/proposicoes_compostas.pdf Aula 4]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica.pdf Aula 5]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/equivalencia_logica_simplificacoes.pdf Aula 6]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/inferencia_logica_simplificacoes.pdf Aula 7]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/predicados_quantificadores.pdf Aula 8]
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/regras_deducao_log_predicados.pdf Aula 9]
| |
− | | |
− | * Guia de referências (conectivos, relações de equivalência e inferência)
| |
− | ** [http://www.sj.ifsc.edu.br/~tisemp/LOG/guiaRef.pdf Guia de Referência]
| |
− | | |
− | ==02/04/13: Introdução a Lógica ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/intro_logica.pdf Aula 1])==
| |
− | * Apresentação da disciplina
| |
− | * Lógica formal
| |
− | * Dedução e Indução
| |
− | * Exercícios de raciocínio lógico ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista1.pdf Lista 1])
| |
− | | |
− | ==09/04/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
| |
− | * Proposições e Predicados
| |
− | * Lista Exercícios II ([http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista2.pdf Lista 2]
| |
− | * Lista Exercícios III [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista3.pdf Lista 3])
| |
− | | |
− | ==16/04/13: Lógica Proposicional==
| |
− | * Não haverá aula de Lógica
| |
− | * Participação em Banca de Concurso para Professores efetivos do IFSC (Lages/SC)
| |
− | * Aula será resposta posteriormente
| |
− | | |
− | ==23/04/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
| |
− | * Cálculo proposicional Simples
| |
− | * Construção de tabelas-verdade e Funções-verdade
| |
− | * Lista de exercícios IV [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista4.pdf Lista 4]
| |
− | | |
− | ==30/04/13: Proposições Compostas ([http://www.sj.ifsc.edu.br/~tisemp/LOG/aulas/proposicoes_compostas.pdf Aula 4])==
| |
− | * Proposições Compostas
| |
− | | |
− | * Lista Exercícios V [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista5.pdf Lista 5])
| |
− | | |
− | ==07/05/13: Ordem de Precedência das Operações==
| |
− | * Ordem de Precedência das operações (conectivos)
| |
− | | |
− | * Lista Exercícios VI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista6.pdf Lista 6])
| |
− | * 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])
| |
− | | |
− | ==14/05/13: Avaliação 1==
| |
− | * 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]
| |
− | | |
− | ==21/05/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)
| |
− | * Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação.
| |
− | | |
− | * Lista de Exercícios VII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista7.pdf Lista 7]
| |
− | | |
− | ==28/05/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]
| |
− | * Lista de Exercícios VIII [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista8.pdf Lista 8]
| |
− | | |
− | ==04/06/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.
| |
− | * Lista de Exercícios IX [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista9.pdf Lista 9]
| |
− | | |
− | ==11/06/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]
| |
− | | |
− | ==18/06/13: Lógica de Primeira Ordem (cálculo de predicados) ==
| |
− | * Correção da lista de exercícios em sala
| |
− | | |
− | ==25/06/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)
| |
− | * Lista de exercícios XI [http://www.sj.ifsc.edu.br/~tisemp/LOG/listas_exercicios/lista11.pdf Lista 11]
| |
− | | |
− | ==02/07/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]
| |
− | | |
− | ==09/07/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]
| |
− | | |
− | ==16/07/13: Método dedutivo, Formas Normais==
| |
− | * Correção de lista de exercícios
| |
− | * Exercícios de revisão para avaliação final
| |
− | | |
− | ==23/07/13: Avaliação 2==
| |
− | * 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]
| |
− | | |
− | ==30/07/13: Encerramento da Disciplina==
| |
− | * Avaliações de Recuperação A1 e A2
| |
| {{Collapse bottom}} | | {{Collapse bottom}} |
| | | |
| {{ENGTELECO}} | | {{ENGTELECO}} |