Lógica Computacional

Licenciatura em Ciências da Computação - 2º ano

Tópicos

Avisos

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ática (aqui).

50 Recent Changes in TWiki Web retrieved at 16:04 (GMT)

WebStatistics 02 Dec 2020 - 11:24 - r2245 TWikiGuest
Statistics for Education/LC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
WebHome 18 Feb 2010 - 13:06 - r14 OlgaPacheco
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 ...
MaterialApoio 18 Feb 2010 - 13:00 - r15 OlgaPacheco
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 ...
Avisos0809 22 Jul 2009 - 17:28 - r4 JoseBacelarAlmeida
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 ...
0809 22 Jul 2009 - 17:27 - r9 JoseBacelarAlmeida
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 ...
ProgDetalhado0809 18 Jun 2009 - 22:10 - r2 JoseBacelarAlmeida
Programa detalhado do ano lectivo 2008/2009 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ...
Programa0809 18 Jun 2009 - 22:10 - r2 JoseBacelarAlmeida
Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ...
Praticas0809 29 May 2009 - 23:07 - r13 JoseBacelarAlmeida
Aulas Práticas #Aula10P Aula 10: Predicados de Segunda Ordem e outros predicados primitivos disponibilizados pelo Prolog Predicados de segunda ordem Existem meta ...
Projectos0809 08 May 2009 - 02:24 - r2 JoseBacelarAlmeida
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 ...
Topicos0809 12 Feb 2009 - 17:21 - r2 JoseBacelarAlmeida
Calendário
Calendario 12 Feb 2009 - 17:16 - NEW JoseBacelarAlmeida
Sumarios0708 01 Feb 2009 - 18:25 - r15 JoseBacelarAlmeida
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 ...
Sumarios0809 01 Feb 2009 - 18:23 - NEW JoseBacelarAlmeida
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 ...
0708 01 Feb 2009 - 18:16 - r13 JoseBacelarAlmeida
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 ...
WebPreferences 01 Feb 2009 - 18:15 - r20 JoseBacelarAlmeida
Education/LC Web Preferences The following settings are web preferences of the Education/LC web. These preferences overwrite the site level preferences in ...
MFES0809 05 Dec 2008 - 23:17 - r3 JoseBacelarAlmeida
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 ...
Avisos0708 27 Sep 2008 - 11:17 - r14 JoseBacelarAlmeida
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 ...
ProgDetalhado0708 11 Jun 2008 - 22:07 - NEW JoseBacelarAlmeida
Programa detalhado do ano lectivo 2007/2008 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ...
Praticas0708 02 Jun 2008 - 22:41 - r17 JoseBacelarAlmeida
Aulas Práticas #Aula9P Aula 9: Implementação do algoritmo Davis Putnam em Prolog. Pretende se definir um programa que permita verificar se uma dada fórmula é uma ...
Projectos0708 08 May 2008 - 22:56 - r3 JoseBacelarAlmeida
Propostas de Projectos Práticos 2007/2008 Esta página apresenta algumas ideias para projectos práticos da disciplina de Lógica Computacional. Os alunos interessados ...
0607 20 Feb 2008 - 15:33 - r16 JoseBacelarAlmeida
Lógica Computacional (8504N2) em Matemática e Ciências de Computação 2º Ano 2º Semestre Ano lectivo 2006/2007 Equipa Docente José Carlos Bacelar ...
Topicos0708 20 Feb 2008 - 15:23 - NEW JoseBacelarAlmeida
Sumários
Programa0708 20 Feb 2008 - 15:22 - NEW JoseBacelarAlmeida
Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ...
ELP2-0405 20 Sep 2007 - 14:17 - r21 JoseBacelarAlmeida
Elementos Lógicos da Programação II (702752) Licenciatura de Matemática e Ciências da Computação 2º Ano 2º Semestre Ano lectivo 2004/2005 Programa Programa ...
Notas0607 20 Sep 2007 - 14:00 - r9 JoseBacelarAlmeida
Época de Especial Num Nome Exame 47414 André da Silva Rocha 3.85 35804 Ângelo David Soares Perez Dias 5 43514 César Carlos Martins ...
Avisos0607 31 Jul 2007 - 23:03 - r8 JoseBacelarAlmeida
31/07 Já estão disponíveis as notas referentes à Época de Recurso. (aqui) 17/07 Já estão disponíveis as notas referentes à Época Normal. (aqui) 20/06 Foram disponibilizados ...
Programa0607 04 Jul 2007 - 18:17 - r3 JoseBacelarAlmeida
Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ...
ProgDetalhado0607 04 Jul 2007 - 18:16 - NEW JoseBacelarAlmeida
Programa detalhado do ano lectivo 2006/2007 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ...
Programa0506 03 Jul 2007 - 22:09 - r3 JoseBacelarAlmeida
Programa Resumido (2005/2006) Componente Teórica Lógica Proposicional Sintaxe Linguagens de Cláusulas Validade e Verificação ...
WebSideBar 03 Jul 2007 - 21:54 - r7 JoseBacelarAlmeida
Tópicos Apresentação Programa Funcionamento Material " else ""}%}% Avisos " else ""}%}%
0506 03 Jul 2007 - 16:06 - r47 JoseBacelarAlmeida
Lógica Computacional (8504N2) em Matemática e Ciências de Computação 2º Ano 2º Semestre Ano lectivo 2005/2006 Programa Componente Teórica Lógica ...
Sumarios0607 11 Jun 2007 - 19:45 - r16 JoseBacelarAlmeida
Sumários Docente: José Carlos Bacelar Aulas Teóricas 08/06: Esclarecimento de dúvidas. 05/06: Referência às propriedades básicas do Lambda calculus com tipos ...
Praticas0607 29 May 2007 - 10:39 - r9 JoseBacelarAlmeida
Aulas Práticas #Aula8P Aula 8: Predicados de Segunda Ordem Existem meta predicados que permitem coleccionar todas as soluções para um dado objectivo de prova (ver ...
WebCss 21 May 2007 - 23:44 - r4 JoseBacelarAlmeida
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
WebTopicActions 21 May 2007 - 23:43 - r2 JoseBacelarAlmeida
0405 26 Feb 2007 - 01:13 - NEW JoseBacelarAlmeida
Retornar à página inicial
ELP1-0405 26 Feb 2007 - 00:55 - r25 JoseBacelarAlmeida
Notícias Elementos Lógicos da Programação I em Matemática e Ciências da Computação 2º Ano 1º Semestre Ano lectivo 2004/2005 Programa 1. Dedu ...
Topicos0405 26 Feb 2007 - 00:54 - NEW JoseBacelarAlmeida
Avisos0405 26 Feb 2007 - 00:53 - NEW JoseBacelarAlmeida
ELP1News0405 26 Feb 2007 - 00:38 - r7 JoseBacelarAlmeida
Já estão disponíveis os resultados dos exames de recurso, e Notas Finais . MariaJoaoFrade 03 Mar 2005 AVISO Sessão de Dúvidas Na próxima 3ª feira ...
Topicos0506 19 Feb 2007 - 01:17 - NEW JoseBacelarAlmeida
Topicos0607 19 Feb 2007 - 01:16 - NEW JoseBacelarAlmeida
Sumários
Avisos0506 18 Feb 2007 - 23:26 - r8 JoseBacelarAlmeida
A resolução da ficha de avaliação prática 3 (enunciado da ficha está na página) é para ser entregue na aula prática de 2 de Junho . MariaJoaoFrade 25 May 2006 ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
Found 50 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM