Fim do semestre e do blog

Dou agora por encerrada a minha participação neste blog. Para saberem (pela Net) as suas notas relativas ao último teste, os alunos devem consultar a página do curso mantida pelo Prof. João Branquinho.

Caso algum aluno tencione fazer o exame final (17 de Julho de 2007) e necessite de apoio, encontro-me disponível para ajudar no que me for possível.

Espero que este espaço tenha sido de alguma utilidade. Faço votos para a continuação de um bom percurso académico e pessoal.

Até breve.

Luís Rodrigues

Soluções do terceiro teste (dia 22)

Estão aqui

Cumps.

Último teste

Desejo boa sorte e bom trabalho a quem vai fazer o teste de hoje. Calma e atenção.

Tentarei publicar as soluções rapidamente.

Cumprimentos

Notas do segundo teste

Estão aqui

Tutoria

Haverá ainda uma última sessão no dia 21/2/2007, quarta-feira, véspera do último teste. Irá decorrer no sítio habitual e à hora do costume: sala de seminários do departamento (sala situada ao fundo do departamento, perto dos cacifos de correio dos professores), das 12h00 às 14h00. Caso algum aluno não possa a essa hora, entre em contacto comigo para combinarmos outra - no mesmo dia, visto que a faculdade estará fechada segunda e terça. A sessão servirá para esclarecer dúvidas que estejam relacionadas com este último teste (o de dia 15), com as soluções ou com outros exercícios ou tópicos do curso.

Cumprimentos

Soluções do segundo teste

De todas as perguntas e de todos os pontos (planos de estudo). Foram vistoriadas pelo Prof. João Branquinho. Estão aqui.

Cumprimentos

Reportagem SIC

Finalmente um link a que todos podem aceder para ver a reportagem da SIC, sejam clientes sapo/netcabo ou não.

http://logicaflul.com.sapo.pt/paraqueserveafilosofia.wmv


Cumps

Votos

De boa sorte para o teste de amanhã.

Calma e muita atenção, são as minhas sugestões.

Cumps,

Informação útil

Fica aqui uma informação do Prof. Branquinho sobre o formato dos testes consoante o plano de estudos.

Cumps

Testes experimentais/exercícios

Modo de utilização aconselhado :

Reservar cerca de duas horas de tempo livre e tentar resolver os exercícios sem recorrer a qualquer ajuda (livro, apontamentos, etc). Verificar depois as soluções e as cotações (para aferir da presente condição e capacidades). Repetir o sistema em todos outros exercícios.

Atenção que algumas das soluções podem variar ligeiramente relativamente aquelas que aqui se propõem - estando igualmente bem. em caso de dúvida, expor o problema.

Os exercícios foram aprovados pelo Prof. Branquinho. As soluções foram também vistoriadas por ele.

Lógica de predicados, dia 15:

Primeiro teste

Soluções do primeiro teste

Segundo teste

Soluções do segundo teste

Toda a matéria, dia 22:

Terceiro teste

Soluções do terceiro teste

Quarto teste

Soluções do quarto teste
----------------------------


Bom trabalho!

Informação

As aulas de 12 e 13 vão decorrer nos horários habituais mas numa sala (a designar) do departamento. Estas irão ser, salvo indicação em contrário, as últimas aulas de lógica do Prof. Branquinho neste semestre.

Na próxima semana só haverá uma sessão de tutoria. Será na quarta-feira, das 12h00 às 14h00, na sala de seminários do departamento.

Na semana seguinte haverá também uma sessão de tutoria (a última) na quarta-feira, dia 21, na sala de seminários do departamento. Será portanto uma sessão de tutoria que vai ocorrer no dia anterior ao dia do último teste, dia 22.

Cumps

Soluções dos exercícios de simbolização LPRED

Estão aqui.

Bom estudo!

Reportagem SIC

Quem desejar ver a reportagem da SIC sobre Filosofia na qual foram entrevistados vários alunos da aula de lógica e o próprio Prof. Branquinho, pode fazê-lo acedendo a este LINK. (demora um pouco a carregar, sejam pacientes).

Cumps

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