The Education/LC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/LC Copyright 2020 by contributing authors 2020-10-29T15:24:33Z http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/WebStatistics 2020-10-29T15:24:33Z

Statistics for Education/LC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)

TWikiGuest http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/WebHome 2010-02-18T13:06:08Z

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)

OlgaPacheco http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/MaterialApoio 2010-02-18T13:00:50Z

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)

OlgaPacheco http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Avisos0809 2009-07-22T17:28:03Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/0809 2009-07-22T17:27:12Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/ProgDetalhado0809 2009-06-18T22:10:46Z

Programa detalhado do ano lectivo 2008/2009 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Programa0809 2009-06-18T22:10:01Z

Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Praticas0809 2009-05-29T23:07:19Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Projectos0809 2009-05-08T02:24:38Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Topicos0809 2009-02-12T17:21:40Z

Calendário (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Calendario 2009-02-12T17:16:45Z

(last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Sumarios0708 2009-02-01T18:25:15Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/Sumarios0809 2009-02-01T18:23:00Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/0708 2009-02-01T18:16:25Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/WebPreferences 2009-02-01T18:15:29Z

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)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/LC/MFES0809 2008-12-05T23:17:24Z

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)

JoseBacelarAlmeida