http://wiki.di.uminho.pt/twiki/bin/view/Education/LC The Education/LC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Education/LC http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/WebHome Esta disciplina tem por objectivo aprofundar a relação existente entre lógica formal e a computação. Esta relação pode assumir diferentes formas, dependendo da perspectiva ... (last changed by OlgaPacheco) 2010-02-18T13:06:08Z OlgaPacheco http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/MaterialApoio Slides Lógica Proposicional I Cálculo de Sequentes (versão: 11/06/2008) Lógica Proposicional II Método Tableaux , Formas Clausais, Resolução (versão: 11 ... (last changed by OlgaPacheco) 2010-02-18T13:00:50Z OlgaPacheco http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Avisos0809 22/07/2009: Disponíveis notas da época de recurso. 07/05/2009: Disponível enunciado do projecto prático. 06/03/2009: Já disponível o guião da primeira aula pr ... (last changed by JoseBacelarAlmeida) 2009-07-22T17:28:03Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/0809 Lógica Computacional (8504N2) em Matemática e Ciências de Computação 2º Ano 2º Semestre Ano lectivo 2008/2009 Equipa Docente José Carlos Bacelar ... (last changed by JoseBacelarAlmeida) 2009-07-22T17:27:12Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/ProgDetalhado0809 Programa detalhado do ano lectivo 2008/2009 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ... (last changed by JoseBacelarAlmeida) 2009-06-18T22:10:46Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Programa0809 Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ... (last changed by JoseBacelarAlmeida) 2009-06-18T22:10:01Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Praticas0809 Aulas Práticas #Aula10P Aula 10: Predicados de Segunda Ordem e outros predicados primitivos disponibilizados pelo Prolog Predicados de segunda ordem Existem meta ... (last changed by JoseBacelarAlmeida) 2009-05-29T23:07:19Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Projectos0809 Projecto O objectivo deste projecto é o de explorar o demonstrador de teoremas COQ para realizar provas simples. Sugere se que os interessados realizem os exemplos ... (last changed by JoseBacelarAlmeida) 2009-05-08T02:24:38Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Topicos0809 Calendário (last changed by JoseBacelarAlmeida) 2009-02-12T17:21:40Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Calendario (last changed by JoseBacelarAlmeida) 2009-02-12T17:16:45Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Sumarios0708 Sumários Aulas Teóricas (3ª 14:00 15:00; 5ª 16:00 17:00) 26/02: Não houve aula. 28/02: Não houve aula. 04/03: Aula de substituição em 27/03 , às 15:00. 06 ... (last changed by JoseBacelarAlmeida) 2009-02-01T18:25:15Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Sumarios0809 Sumários Aulas Teóricas (3ª 14:00 15:00; 5ª 16:00 17:00) TP1 Aulas Teórico Práticas (2ª 16:00 17:00) Aulas Práticas (2ª 17:00 19:00) TP2 Aulas Teórico Pr ... (last changed by JoseBacelarAlmeida) 2009-02-01T18:23:00Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/0708 Lógica Computacional (8504N2) em Matemática e Ciências de Computação 2º Ano 2º Semestre Ano lectivo 2007/2008 Equipa Docente José Carlos Bacelar ... (last changed by JoseBacelarAlmeida) 2009-02-01T18:16:25Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/WebPreferences Education/LC Web Preferences The following settings are web preferences of the Education/LC web. These preferences overwrite the site level preferences in ... (last changed by JoseBacelarAlmeida) 2009-02-01T18:15:29Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/MFES0809 Análise, Modelação e Teste de Software MFES Mestrado de Informática 13/11/2008 "Design by Contract and Java Modeling Language": apresentação do conceito e clausulas ... (last changed by JoseBacelarAlmeida) 2008-12-05T23:17:24Z JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Avisos0708 24/09: Já estão disponíveis as notas da época de especial. 28/07: Já estão disponíveis as notas da época de recurso. 02/07: Já estão disponíveis as notas do 2 ... (last changed by JoseBacelarAlmeida) 2008-09-27T11:17:47Z JoseBacelarAlmeida