en pt-br

Main.LogicaMatematica History

Hide minor edits - Show changes to markup

August 10, 2016, at 07:06 PM by claudio -
Changed lines 12-14 from:
  • [[https://www.dropbox.com/s/jkv7j3qhxsiegr2/Horario_Monitoria_LMA_2016-2.pdf?dl=0 | Horário da Monitora de LMA]] Horário e Local da Monitoria de LMA
to:
  • Horário da Monitora de LMA Horário e Local da Monitoria de LMA
August 10, 2016, at 07:04 PM by claudio -
Changed lines 12-13 from:
  • Horário da Monitora de LMA Horário e Local da Monitoria de LMA
to:
  • [[https://www.dropbox.com/s/jkv7j3qhxsiegr2/Horario_Monitoria_LMA_2016-2.pdf?dl=0 | Horário da Monitora de LMA]] Horário e Local da Monitoria de LMA
April 25, 2016, at 10:32 AM by claudio -
Changed lines 10-11 from:
  • [[https://www.youtube.com/watch?v=zsPqWag32_4 | Vídeo para o Youtube com estes slides] sobre a parte de Provas Lógicas (lógica proposicional)
to:
  • Vídeo para o Youtube com estes slides sobre a parte de Provas Lógicas (lógica proposicional)
April 25, 2016, at 10:31 AM by claudio -
Added lines 10-11:
  • [[https://www.youtube.com/watch?v=zsPqWag32_4 | Vídeo para o Youtube com estes slides] sobre a parte de Provas Lógicas (lógica proposicional)
March 06, 2016, at 08:20 PM by claudio -
Changed lines 18-23 from:
  • Ou procure aqui Trabalho Final -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
  • Entrega Trabalho Final: A senha do site é 12... até 78, envie seus arquivos SEM COMPACTAR pronto para serem executados. Leia as instruções no contidas no trabalho.
to:
  • Ou procure aqui Trabalho Final -- Veja o arquivo: trabalho-final-LMA_2016-1.pdf -- NAO liberado ainda
  • Entrega Trabalho Final: A senha do site é a sigla da disciplina, envie seus arquivos SEM COMPACTAR pronto para serem executados. Leia as instruções no contidas no trabalho.
Changed lines 30-32 from:
to:
  • Exemplos em Picat -- NOVO Exercícios de Picat, soluções, trabalhos finais, slides, etc.
March 01, 2016, at 03:43 PM by claudio -
Changed lines 10-11 from:
  • Horário da Monitora de LMA Horário e Local da Monitoria de LMA
to:
  • Horário da Monitora de LMA Horário e Local da Monitoria de LMA
Changed lines 15-20 from:
  • Trabalho Final (2015-2) Trabalho Final (2015-2) -- liberado
  • Ou procure aqui por 2015-2 Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
to:
  • Trabalho Final (2016-1) Trabalho Final (2016-1) -- Não liberado ainda
  • Ou procure aqui Trabalho Final -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
November 23, 2015, at 06:37 PM by claudio -
Changed lines 15-20 from:
  • Trabalho Final (2015-2) Trabalho Final (2015-2) -- liberado
  • Ou procure aqui por 2015-2 Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
to:
  • Trabalho Final (2015-2) Trabalho Final (2015-2) -- liberado
  • Ou procure aqui por 2015-2 Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
Changed lines 27-30 from:
  • Exemplos de Prolog -- NOVO Exercícios de Prolog, soluções, trabalhos finais, slides, etc.
to:
  • Exemplos de Prolog -- NOVO Exercícios de Prolog, soluções, trabalhos finais, slides, etc.
November 13, 2015, at 09:48 AM by claudio -
Changed lines 14-17 from:
  • Procure por 2015-2 Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
  • Entrega Trabalho Final: A senha do site é 12... até 78, envie seus arquivos SEM COMPACTAR pronto para serem executados. Leia as instruções no trabalho.
to:
  • Trabalho Final (2015-2) Trabalho Final (2015-2) -- liberado
  • Ou procure aqui por 2015-2 Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
  • Entrega Trabalho Final: A senha do site é 12... até 78, envie seus arquivos SEM COMPACTAR pronto para serem executados. Leia as instruções no contidas no trabalho.
November 11, 2015, at 04:56 PM by claudio -
Deleted lines 17-22:
  • Material sobre Lógica de Primeira Ordem Lógica de Primeira Ordem e DOIS BONS LIVROS DE LÓGICA (NOVOS)
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional
Changed lines 23-29 from:
  • Exemplos de Prolog Exercícios de Prolog e slides, soluções, etc.
to:
  • Material sobre Lógica de Primeira Ordem Lógica de Primeira Ordem e DOIS BONS LIVROS DE LÓGICA (NOVOS)
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional
November 10, 2015, at 02:48 PM by claudio -
Changed lines 16-19 from:
  • Entrega Trabalho Final A senha do site é 12... até 78,

envie seus arquivos SEM COMPACTAR pronto para serem exeuctados.

to:
  • Entrega Trabalho Final: A senha do site é 12... até 78, envie seus arquivos SEM COMPACTAR pronto para serem executados. Leia as instruções no trabalho.
November 10, 2015, at 02:45 PM by claudio -
Changed lines 14-15 from:
  • Trabalho Final? Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
to:
  • Procure por 2015-2 Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
November 10, 2015, at 02:41 PM by claudio -
Changed lines 14-15 from:
  • Trabalho Final? Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- NAO liberado
to:
  • Trabalho Final? Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- liberado
  • Entrega Trabalho Final A senha do site é 12... até 78,

envie seus arquivos SEM COMPACTAR pronto para serem exeuctados.

October 23, 2015, at 10:57 AM by claudio -
Changed lines 12-15 from:
  • Email da Monitora? Email da Monitora ... Luciani Dantas (lurdantas@hotmail.com)
  • Trabalho Final? Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- NAO liberado
to:
  • Email da Monitora ... Luciani Dantas: lurdantas@hotmail.com
  • Trabalho Final? Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- NAO liberado
Changed lines 21-23 from:
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado
to:
  • Material sobre ProLoG do -- NOVO Material sobre PROLOG -- conteúdo do básico ao avançado
October 23, 2015, at 10:55 AM by claudio -
Deleted line 9:
Deleted line 11:
Deleted line 13:
Added lines 20-23:
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado
Deleted lines 26-29:
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado -- EM REVISÃO
September 14, 2015, at 02:56 PM by claudio -
Added lines 10-16:
  • Horário da Monitora de LMA Horário e Local da Monitoria de LMA
  • Email da Monitora? Email da Monitora ... Luciani Dantas (lurdantas@hotmail.com)
Deleted line 20:
Deleted lines 22-26:
  • Horário da Monitoria de LMA Horário da Monitoria de LMA
  • Email da Monitora? Email da Monitora ... Luciani Dantas (lurdantas@hotmail.com)
August 26, 2015, at 12:25 PM by claudio -
Changed lines 20-21 from:
to:
August 26, 2015, at 12:24 PM by claudio -
Added lines 20-21:
August 12, 2015, at 05:50 PM by claudio -
Changed lines 8-11 from:
  • Slides de LMA Estes slides servem como guia de para as aulas e estudo. Faça os exercícios propostos, só assim se aprende.
  • Trabalho Final Trabalho Final (2015-1) -- Veja o arquivo: trabalho-final-LMA_2015-1.pdf --liberado
to:
  • Slides de LMA Estes slides servem como guia das aulas e estudo. Faça os exercícios propostos, só assim se aprende.
  • Trabalho Final? Trabalho Final (2015-2) -- Veja o arquivo: trabalho-final-LMA_2015-2.pdf -- NAO liberado
Added line 14:
Changed lines 17-19 from:
to:
  • Horário da Monitoria de LMA Horário da Monitoria de LMA
June 21, 2015, at 10:01 AM by claudio -
Changed lines 17-18 from:
  • Exemplos de Prolog etc -- NOVO Exercícios de Prolog, soluções, trabalhos finais, slides, etc.
to:
  • Exemplos de Prolog -- NOVO Exercícios de Prolog, soluções, trabalhos finais, slides, etc.
June 21, 2015, at 10:00 AM by claudio -
Added lines 16-18:
  • Exemplos de Prolog etc -- NOVO Exercícios de Prolog, soluções, trabalhos finais, slides, etc.
June 02, 2015, at 08:38 PM by claudio -
Changed lines 12-22 from:
  • Livro de Lógica Proposicional e Primeira Ordem Livro de Lógica Proposicional e Primeira Ordem -- para ser estudado (um livro da internet ... muito didático)
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional :: pouco conteúdo.
  • Material sobre Lógica de Primeira Ordem Material introdutório das aulas sobre Lógica de Primeira Ordem -- 2a. parte do curso
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado
  • Exemplos de Prolog Exercícios de Prolog e slides, soluções, etc.
to:
  • Material sobre Lógica de Primeira Ordem Lógica de Primeira Ordem e DOIS BONS LIVROS DE LÓGICA (NOVOS)
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional
  • Exemplos de Prolog Exercícios de Prolog e slides, soluções, etc.
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado -- EM REVISÃO

May 26, 2015, at 06:17 PM by claudio -
Changed lines 8-10 from:
  • Slides de LMA Estes slides servem como guia de aula e estudo. Mas faça os exercícios propostos.
to:
  • Slides de LMA Estes slides servem como guia de para as aulas e estudo. Faça os exercícios propostos, só assim se aprende.
  • Trabalho Final Trabalho Final (2015-1) -- Veja o arquivo: trabalho-final-LMA_2015-1.pdf --liberado
Deleted lines 20-21:
  • Trabalho Final Trabalho Final (2014-1) -- liberado
June 04, 2014, at 07:39 PM by claudio -
Changed lines 19-20 from:
  • Trabalho Final Trabalho Final -- liberado
to:
  • Trabalho Final Trabalho Final (2014-1) -- liberado
June 04, 2014, at 06:50 PM by claudio -
Changed lines 17-22 from:
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado
  • Trabalho Final Trabalho Final -- liberado
  • Exemplos de Prolog Exercícios de Prolog e slides, soluções, etc.
to:
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado
  • Trabalho Final Trabalho Final -- liberado
  • Exemplos de Prolog Exercícios de Prolog e slides, soluções, etc.
March 31, 2014, at 03:54 PM by claudio -
Changed lines 8-9 from:
to:
  • Slides de LMA Estes slides servem como guia de aula e estudo. Mas faça os exercícios propostos.
October 24, 2013, at 10:30 AM by claudio -
Deleted line 0:
Changed lines 18-20 from:
  • Exemplos de Prolog -- Trabalho Final Exercícios de Prolog e slides, trabalho

final, ...

to:
  • Trabalho Final Trabalho Final -- liberado
  • Exemplos de Prolog Exercícios de Prolog e slides, soluções, etc.
October 21, 2013, at 10:35 AM by claudio -
Deleted line 1:
Changed lines 19-20 from:
  • Alguns exemplos de Prolog -- laboratório Exercícios de Prolog e slides, outros...
to:
  • Exemplos de Prolog -- Trabalho Final Exercícios de Prolog e slides, trabalho

final, ...

July 29, 2013, at 07:48 PM by claudio -
Changed lines 3-7 from:

Lógica Matemática (LMA)

to:

Lógica Matemática (LMA)

July 29, 2013, at 07:48 PM by claudio -
Added lines 1-7:

Lógica Matemática (LMA)

July 29, 2013, at 07:47 PM by claudio -
Added lines 4-5:
Changed lines 8-10 from:
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional --

pouco conteúdo.

to:
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional :: pouco conteúdo.
July 29, 2013, at 07:46 PM by claudio -
Changed lines 4-6 from:
  • Material sobre Lógica de Primeira Ordem -- formato odp Material introdutório das aulas sobre Lógica de Primeira Ordem -- 2a. parte do curso
to:
  • Livro de Lógica Proposicional e Primeira Ordem Livro de Lógica Proposicional e Primeira Ordem -- para ser estudado (um livro da internet ... muito didático)
  • Material sobre Lógica Proposicional Material sobre Lógica Proposicional --

pouco conteúdo.

  • Material sobre Lógica de Primeira Ordem Material introdutório das aulas sobre Lógica de Primeira Ordem -- 2a. parte do curso
Changed lines 13-18 from:
  • Livro de Lógica de Primeira Ordem Livro de Lógica de Primeira Ordem -- tudo que é para ser estudado
  • Alguns exemplos de Prolog -- laboratório Exercícios de Prolog -- lab para os alunos
to:
  • Alguns exemplos de Prolog -- laboratório Exercícios de Prolog e slides, outros...
July 26, 2013, at 09:23 AM by claudio -
Changed lines 15-18 from:
  • Conduta no curso com o prof Claudio Dicas

saudáveis que devem ser conhecidas para aulas do prof Claudio

to:
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio
July 26, 2013, at 09:22 AM by claudio -
Added lines 14-18:
  • Conduta no curso com o prof Claudio Dicas

saudáveis que devem ser conhecidas para aulas do prof Claudio

July 11, 2013, at 09:35 AM by claudio -
Changed lines 12-13 from:
  • Alguns exemplos de Prolog -- lab Exercícios de Prolog -- lab para os alunos
to:
  • Alguns exemplos de Prolog -- laboratório Exercícios de Prolog -- lab para os alunos
July 11, 2013, at 09:34 AM by claudio -
Deleted line 8:
Deleted lines 11-13:
  • Exercícios de Prolog -- Apostila pptx Exercícios de Prolog -- Apostila pptx
July 11, 2013, at 09:18 AM by claudio -
Changed lines 13-14 from:
  • Exercícios de Prolog -- lab Exercícios de Prolog -- lab para os alunos
to:
  • Exercícios de Prolog -- Apostila pptx Exercícios de Prolog -- Apostila pptx
  • Alguns exemplos de Prolog -- lab Exercícios de Prolog -- lab para os alunos
May 21, 2013, at 09:09 AM by claudio -
Changed lines 4-7 from:
  • Material sobre Lógica de Primeira Ordem -- formato odp Material de aula sobre Lógica de Primeira Ordem - 2a. parte do curso
  • Livro de Lógica de Primeira Ordem Livro de Lógica de Primeira Ordem -- tudo que é para ser estudado
to:
  • Material sobre Lógica de Primeira Ordem -- formato odp Material introdutório das aulas sobre Lógica de Primeira Ordem -- 2a. parte do curso
Added lines 9-12:
  • Livro de Lógica de Primeira Ordem Livro de Lógica de Primeira Ordem -- tudo que é para ser estudado
May 21, 2013, at 09:08 AM by claudio -
Changed lines 1-12 from:

aqui ...

to:

Material em constante reformulação (felizmente).

  • Material sobre Lógica de Primeira Ordem -- formato odp Material de aula sobre Lógica de Primeira Ordem - 2a. parte do curso
  • Livro de Lógica de Primeira Ordem Livro de Lógica de Primeira Ordem -- tudo que é para ser estudado
  • Material sobre ProLoG do -- formato pdf Material sobre PROLOG -- conteúdo do básico ao avançado
  • Exercícios de Prolog -- lab Exercícios de Prolog -- lab para os alunos

May 21, 2013, at 09:06 AM by claudio -
Added line 1:

aqui ...