De MediaWiki do Campus São José
Ir para navegação
Ir para pesquisar
MURAL DE AVISOS E OPORTUNIDADES DA ÁREA DE TELECOMUNICAÇÕES
| Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom
|
Diário de aula de LOG - 2013-2 - Prof. Tiago Semprebom
Instrutor
Professor: Tiago Semprebom, Dr. Eng.
Email: tisemp@ifsc.edu.br
Atendimento paralelo: 2a feira 8:20h - 09:20h e 6a feira 9:45h - 10:45h (Lab. de Desenvolvimento de Tele)
Endereço web do grupo: http://groups.google.com/group/ifsc_log
Endereço de e-mail da disciplina: ifsc_log@googlegroups.com
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.
Material de apoio
- Apostila de referência para disciplina de redes de computadores
- Transparências utilizadas durante as aulas
- Guia de referências (conectivos, relações de equivalência e inferência)
20/08/13: Introdução a Lógica (Aula 1)
- Apresentação da disciplina
- Lógica formal
- Dedução e Indução
- Exercícios de raciocínio lógico (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 (Aula 2)
- Lógica Clássica e Lógica Simbólica
- Proposições e Predicados
- Lista Exercícios II (Lista 2
- Lista Exercícios III 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 (Aula 3)
- Construção de tabelas-verdade e Funções-verdade
- Lista de exercícios IV Lista 4
17/09/13: Proposições Compostas (Aula 4)
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)
01/10/13: Avaliação 1
- Avaliação individual e sem consulta.
- Conceitos Avaliação 1: clique aqui
08/10/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) Aula 5
- Vista de prova (avaliação 1)
15/10/13: Construção de Tabelas Verdade 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): Guia de Referência
- Lista de Exercícios VIII Lista 8
22/10/13: Construção de Tabelas Verdade Aula 7
- Regras de inferência lógica.
- Lista de Exercícios IX Lista 9
29/10/13: Equivalência Lógica
- Revisão: exercícios de inferência lógica (Lista X): Lista 10
05/11/13: Aula de ELI (Prof. Pedro Armando Jr.)
- Participação no SBESC 2013 (Niterói/RJ)
12/11/13: Lógica de Primeira Ordem (cálculo de predicados) Aula 8
- Cálculo de Predicados (Predicados, variáveis e quantificadores)
- Lista de exercícios XI Lista 11
19/11/13: Lógica de Primeira Ordem: sintaxe e semântica
- Lista de exercícios de revisão XII Lista 12
26/11/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9
- Lista de exercícios XIII: Cálculo de predicados Lista 13
03/12/13: Método dedutivo, Formas Normais
- Correção de lista de exercícios
- Exercícios de revisão para avaliação final
10/12/13: Avaliação 2
17/12/13: Encerramento da Disciplina
- Avaliações de Recuperação A1 e A2
|
| Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom
|
Diário de aula de LOG - 2013-1 - Prof. Tiago Semprebom
Instrutor
Professor: Tiago Semprebom, Dr. Eng.
Email: tisemp@ifsc.edu.br
Atendimento paralelo: 3a feira 8:30h - 09:30h e 6a feira 15:45h - 15:45h (Lab. de Desenvolvimento de Tele)
Endereço web do grupo: http://groups.google.com/group/ifsc_log
Endereço de e-mail da disciplina: ifsc_log@googlegroups.com
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.
Material de apoio
- Apostila de referência para disciplina de redes de computadores
- Transparências utilizadas durante as aulas
- Guia de referências (conectivos, relações de equivalência e inferência)
02/04/13: Introdução a Lógica (Aula 1)
- Apresentação da disciplina
- Lógica formal
- Dedução e Indução
- Exercícios de raciocínio lógico (Lista 1)
09/04/13: Lógica Clássica e Lógica Simbólica (Aula 2)
- Lógica Clássica e Lógica Simbólica
- Proposições e Predicados
- Lista Exercícios II (Lista 2
- Lista Exercícios III 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 (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 Lista 4
30/04/13: Proposições Compostas (Aula 4)
07/05/13: Ordem de Precedência das Operações
- Ordem de Precedência das operações (conectivos)
14/05/13: Avaliação 1
- Avaliação individual e sem consulta.
- Conceitos Avaliação 1 clique aqui
21/05/13: Tabela Verdade, Tautologia e equivalência Lógica (introdução) Aula 5
- Vista de prova (avaliação 1)
- Para aqueles com conceito menor ou igual a B: refazer e entregar a avaliação.
28/05/13: Construção de Tabelas Verdade Aula 6
04/06/13: Construção de Tabelas Verdade Aula 7
- Regras de inferência lógica.
- Lista de Exercícios IX Lista 9
11/06/13: Equivalência Lógica
- Revisão: exercícios de inferência lógica (Lista X): 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) Aula 8
- Cálculo de Predicados (Predicados, variáveis e quantificadores)
- Lista de exercícios XI Lista 11
02/07/13: Lógica de Primeira Ordem: sintaxe e semântica
- Lista de exercícios de revisão XII Lista 12
09/07/13: Lógica de Primeira Ordem: sintaxe e semântica (cont') Aula 9
- Lista de exercícios XIII: Cálculo de predicados 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
30/07/13: Encerramento da Disciplina
- Avaliações de Recuperação A1 e A2
|
Curso de Engenharia de Telecomunicações