Sessões de estudo

Esta semana haverá sessões de tutoria no horário habitual.

1ª Sessão: Quarta-feira das 12h00 às 14h00.

2ª Sessão: Quinta-feira das 16h00 às 18h00.

As sessões são facultativas e decorrem na sala de seminários do departamento.

Cumps

Mais exercícios de DN em LP

Deixo aqui (1 e 2) e também aqui (3 e 4) mais alguns exercícios resolvidos de dedução natural (LP). São o tipo de exercícios que podem sair nos testes.

Boa pausa e bom estudo!

PS. Relembro que haverá sessões de tutoria na próxima semana, dias e horários habituais.

Reportagem SIC

A título de curiosidade, informam-se os alunos que não estiveram na aula de hoje, quinta-feira, 25/1/2007, que fomos visitados pela SIC. O Prof. Branquinho e mais dois alunos foram entrevistados. A peça inclui também um excerto da aula. Segundo o que foi dito pela entrevistadora, a peça irá passar na SIC, em horário nobre, ou no sábado ou no domingo.

Cumps

Adenda ao post anterior

No mesmo ficheiro podem também ser encontradas as regras de introdução e eliminação dos quantificadores existencial e universal (regras que fazem parte de LPRED). além disso podem encontrar-se exemplos não só da correcta aplicação das regras mas também de aplicações incorrectas, o que é de grande utilidade para prevenir erros.

Cumps

Regras de Dedução Natural em LP

Para os que ainda não deram por isso, informo que o Prof Branquinho colocou no seu site, QED, as regras de Dedução Natural (as que usamos nas suas aulas, embora haja outras) e respectiva explicação detalhada. Pode aceder ao ficheiro (pdf) aqui.

Bom estudo!

Algumas soluções de DN em LP

Deixo aqui uma solução para os dois exercícios de Dedução Natural em Lógica Proposicional que o Prof. Branquinho avançou no final da aula de 18/1 e que sugeriu que resolvêssemos em casa.

Aceitam-se dúvidas, sugestões, críticas etc.

Cumps.

PS: A solução está manuscrita e é em formato JPEG. É aconselhável guardar primeiro o ficheiro e só depois abrir.

Informação/novo horário

Até ao final do primeiro semestre, incluindo semanas de avaliação e estudo, vão realizar-se mais sessões de tutoria às quartas-feiras das 12h00 às 14h00. As sessões vão decorrer na sala de seminários do departamento (situa-se junto aos cacifos do correio, no fundo do corredor).

Mantêm-se activas as sessões de quinta-feira, das 16h00 às 18h00, também na sala de seminários do departamento.

Cumps.

Exercícios LPRED

Ficam alguns exercícios de simbolização em LPRED. Estão aqui.

É provável, embora não totalmente certo, que as soluções possam ser encontradas nas aulas de acompanhamento ou nas sessões de tutoria.

Bom estudo!

Exercícios de Dedução Natural

Resolvidos e vistoriados

Fáceis: 1,2,3

Baixa dificuldade: 4,5

Média dificuldade: 6, 7 (tem explicação detalhada), 8

Mais complicado: 9


Bom estudo!

Sessões de tutoria suplementares

Tendo em conta os pedidos que recebi de alguns alunos que não conseguem estar nas sessões de tutoria às quintas-feiras das 16:00 às 18:00, mas que desejam ter essas sessões, venho pedir a todos que se encontrem nessa situação (e também aos outros que tenham esse desejo) que me comuniquem, pessoalmente ou por e-mail, o dia que lhes seria mais favorável. As opções disponíveis são as seguintes: todos os dias da semana, excepto quinta, das 14:00 às 18:00 (são apenas duas horas por sessão, mas o horário de escolha é alargado para quatro horas, isto no sentido de facilitar a escolha). A ideia é fixar um horário suplementar que, sem prejuízo do de quinta-feira, que se mantém, permita aos alunos atender às sessões. A realização destas sessões suplementares ficará dependente da aprovação do Prof. Branquinho e da disponibilidade de local para a sua realização.

Relembro que as sessões de tutoria não substituem de forma alguma as aulas do Prof. Branquinho, pelo que não é de todo aconselhável estas últimas pelas primeiras devido a conveniência de horários.

Bom estudo!

Resultados do Exercício Escrito (notas)

Estão aqui.

Quem quiser consultar o seu próprio exercício escrito (para, por exemplo, verificar o que fez bem ou o que fez mal) pode fazê-lo. Os exercícios estão disponíveis na secretaria do departamento e a sua consulta deve ser requisitada à Dª Filomena.

Cumps

Sessão de tutoria de 4 de Janeiro de 2007

Decorre das 16:00 às 18:00 no Departamento.

Cumps