Esta é uma página de apoio ao site da disciplina de Lógica Matemática do 1º período do Curso de Sistemas de Informação da FAESA.
Materiais básicos
- Agenda da disciplina
- Lista de exercícios (deve ser impressa e levada para a sala em todas as aulas)
- Resolução dos exercícios da lista para conferência com a sua solução
Atividades para nota
(a data limite corresponde até antes da aula deste dia)
- Atividade 1 - 1 pto (limite: 21-ago) assunto: operadores lógicos, representação simbólica de sentenças em Português.
- Atividade 2 - 1 pto (limite: 21-ago) assunto: negação e tabela verdade.
- Atividade 3 - 1 pto (limite: 28-ago) assunto: argumento válido e regras de inferência.
- Atividade 4 - 1 pto (limite: 04-set) assunto: argumento válido, prova pelo método dedutivo.
Monitoria
Rafael Hrasko <moc.liamg|oksarhr#moc.liamg|oksarhr>
Local: sala 08 - bloco IV
Horário:
- Segunda a sexta de 18:00 às 18:40
- Terça de 10:40 às 11:40
- Sábado de 11:00 às 12:40
Lista de discussão
A lista de discusão da disciplina de Lógica Matemática tem como objetivo aumentar o nível de interação entre alunos e professor numa visão cooperativa, onde os assuntos abordados são tratados de forma transparente e construtiva de forma a ampliar as fronteiras da sala de aula convencional, pois cada solução e contribuição pode ser socializada de maneira eficiente e dinâmica.
Lembre-se: Use-a para assuntos da disciplina (e não do período). Use-a também para responder questões dos colegas (e não só para perguntar).
Opções da lista:
- Assinar a lista . Envie mensagem em branco e sem assunto para: moc.spuorgelgoog|ebircsbus-isacitametamacigol#moc.spuorgelgoog|ebircsbus-isacitametamacigol Em seguida você deve responder um email de confirmação.
- Enviar mensagem para a lista . Use o endereço: moc.spuorgelgoog|isacitametamacigol#moc.spuorgelgoog|isacitametamacigol
- Visitar a página Web do grupo (ver mensagens anteriores, etc): http://groups.google.com.br/group/logicamatematicasi
- Cancelar a assinatura . Envie mensagem em branco e sem assunto para: moc.spuorgelgoog|ebircsbusnu-isacitametamacigol#moc.spuorgelgoog|ebircsbusnu-isacitametamacigol
Aquecimento
1. Entenda o ciclo descrever-executar-refletir-depurar, usado do desenvolvimento de programas, brincando com os jogos abaixo
• Mostre a vaquinha como chegar ao trófeu:
http://www.q-lympics.de/iq-marathon/
(se não abrir no seu computador então faça download e execute o arquivo iq_marathon_demo.zip - demo com 10 fases diferentes)
• Use espelhos e lentes para acender todas as lâmpadas sem explodir nenhuma bomba: http://laser.narr.as/laser.swf
• Crie um caminho para a bola chegar na caixa
Aguarde o carregamento e depois clique em "PLay"
http://www.fastgames.com/paintball.html
2. Problemas do tipo travessia
• Travessia do homem, ovelha, lobo e verdura (este é do tempo da minha vó, e até ela consegue resolver): http://www.plastelina.net/games/game1.html
• Travessia dos canibais e padres: http://www.plastelina.net/games/game2.html
• Travessia da família na ponte: http://www.plastelina.net/games/game3.html
• Travessia do policial, prisioneiro e família complicada: http://www.portalchapeco.com.br/~jackson/rio.htm
3. Problemas de lógica
• Teste de Einstein: http://www.portalchapeco.com.br/~jackson/einstein.exe
• Vários problemas "not free": http://www.plastelina.net/games/
• Software com vários problemas do tipo lógica de "coquetel"
Download do software: (3,86MB) http://superdownloads.ubbi.com.br/download/i26895.html?dl.meauth