50 Recent Changes in TWiki Web retrieved at 18:06 (GMT)
| WebStatistics | 30 Oct 2020 - 14:39 - r2239 | 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 |
Number of topics: 50 See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes