en pt-br

Main.ProgramacaoLogicaRestricao History

Hide minor edits - Show changes to markup

April 15, 2016, at 05:42 PM by claudio -
Changed lines 10-12 from:
  • 1a parte teórica -- K-107
  • 2a parte prática -- F-108
to:
  • 1a parte teórica -- K-107 (1o. Andar do Bloco K)
  • 2a parte prática -- F-306 (3o. Andar do Bloco F)
March 18, 2016, at 06:22 PM by claudio -
Changed lines 11-12 from:
  • 2a parte prática -- F-302
to:
  • 2a parte prática -- F-108
Changed line 16 from:
to:

Listas de Exercícios e Entrega:

Changed lines 23-24 from:
to:

Slides:

Deleted line 33:
Changed lines 35-38 from:
to:

Ferramentas para o Curso:

  • Minizinc :: Uma das ferramentas da disciplina -- MINIZINC
Deleted lines 40-41:
  • Minizinc :: Uma das ferramentas da disciplina -- MINIZINC
Changed lines 114-116 from:
  • Bons exemplos em B-Prolog. Fácil para o SWI-Prolog Com bons códigos e exemplos
to:
  • Bons exemplos em B-Prolog. Fácil para o PICAT Com bons códigos e exemplos
March 18, 2016, at 06:17 PM by claudio -
Added lines 26-28:
  • Slides de MiniZinc -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
Changed lines 35-38 from:
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)

to:
Changed lines 43-47 from:
to:
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)

March 06, 2016, at 08:14 PM by claudio -
Changed line 7 from:
  • Lista da disciplina: toe-16-l@joinville.udesc.br
to:
  • Lista da disciplina: toe-16-l@joinville.udesc.br
Changed lines 9-11 from:
  • xxxx parte prática -- xo. andar
  • xxxx parte teórica -- xo. andar
to:
  • 1a parte teórica -- K-107
  • 2a parte prática -- F-302
Changed lines 17-18 from:
to:
  • Listas de Exercícios 2016-1 -- Diretório com todas as listas do curso e instruções diversas e figuras etc
  • Sistema de Entrega das Listas de Exercícios:

Sistema de Entrega das Listas de Exercícios, cuidar com os prazos, e como enviar

January 18, 2016, at 02:08 PM by claudio -
Changed lines 7-10 from:
  • Lista da disciplina: toe-16-l@joinville.udesc.br e tes-18
  • Aulas 4as. feiras: 17:10 hrs. as 20:40 hrs. (F-204 - 1o. Andar -- teoria)
  • F-307 parte prática -- 3o. andar -- F-306
to:
  • Lista da disciplina: toe-16-l@joinville.udesc.br
  • Aulas 6as. feiras: 10:10 hrs. as 11:50 hrs. (teoria) e 18:00 hrs. as 19:40 hrs. (prática)
  • xxxx parte prática -- xo. andar
  • xxxx parte teórica -- xo. andar
Changed lines 16-17 from:
  • Listas de Exercícios 2015-1 -- Diretório com todas as listas do curso e instruções diversas
to:
Changed lines 22-25 from:
  • Alguns modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados
to:
  • Alguns modelos em ECLIPSE, PICAT e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados
Added line 29:
Added lines 32-44:
  • Picat :: Uma das ferramentas da disciplina -- PICAT
  • Minizinc :: Uma das ferramentas da disciplina -- MINIZINC
  • Eclipse-CLP :: Uma das ferramentas da disciplina -- Eclipse-CLP

  • Eclipse e CP :: Eclipse e CP, aulas em videos, pdfs, etc -- imperdível Basicamente o que o professo Claudio fala em aula.
  • livro gratuito sobre ECLiPSe -- link direto -- Welcome to a CLP textbook for beginners by Professor Antoni Niederliński, 2011, IX, 420 pages, ISBN 978-83-62652-08-2. The online-version is free to download! An accessible introduction to CLP with ECLiPSe?, emphasizing an intuitive understanding of the basic methods of CLP, via examples of increasing difficulty. For those who want to get started quickly with solving and optimizing combinatorial and continuous problems.
Changed lines 48-58 from:
  • livro gratuito sobre ECLiPSe -- link direto -- Welcome to a CLP textbook for beginners by Professor Antoni Niederliński, 2011, IX, 420 pages, ISBN 978-83-62652-08-2. The online-version is free to download! An accessible introduction to CLP with ECLiPSe?, emphasizing an intuitive understanding of the basic methods of CLP, via examples of increasing difficulty. For those who want to get started quickly with solving and optimizing combinatorial and continuous problems.
  • Material de Prolog? :: Um supra-suma de um bom material em Prolog (vá estudando por conta)

feito ao longo dos anos

  • Eclipse-CLP :: A ferramentas da disciplina -- Eclipse-CLP
  • Eclipse e CP :: Eclipse e CP, aulas em videos, pdfs, etc -- imperdível Basicamente o que o professo Claudio fala em aula.
to:
Deleted line 53:
March 20, 2015, at 11:38 AM by claudio -
Changed lines 8-10 from:
  • Aulas 4as. feiras: 17:10 hrs. as 20:40 hrs. (F-107 - 1o. Andar -- teoria)
  • F-307 parte prática -- 3o. andar
to:
  • Aulas 4as. feiras: 17:10 hrs. as 20:40 hrs. (F-204 - 1o. Andar -- teoria)
  • F-307 parte prática -- 3o. andar -- F-306
March 20, 2015, at 11:07 AM by claudio -
Added lines 15-18:
  • Listas de Exercícios 2015-1 -- Diretório com todas as listas do curso e instruções diversas

Changed lines 23-26 from:
  • Listas de Exercícios 2015-1 -- Há um diretório com todas as listas do curso
to:
March 11, 2015, at 06:54 PM by claudio -
Changed lines 19-23 from:
  • Listas de Exercícios 2014-1? -- Há um diretório com todas as listas do curso
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)
to:
  • Listas de Exercícios 2015-1 -- Há um diretório com todas as listas do curso
Changed lines 27-29 from:
to:
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)

March 09, 2015, at 10:23 PM by claudio -
Added lines 13-14:

Changed lines 27-28 from:
to:

March 09, 2015, at 10:21 PM by claudio -
Added line 4:

Changed lines 11-12 from:
to:
  • Avalição: 3 provas + 07 listas + apresentações das listas
Changed lines 15-21 from:
  • Modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados (em ECLIPSE e MINIZINC, em um diretório)
  • Listas de Exercícios 2014-2 -- Há um diretório com todas as listas do curso
  • As melhores listas de 2014-2 -- As melhores listas da semana em 2014-2
to:
  • Alguns modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados
  • Listas de Exercícios 2014-1? -- Há um diretório com todas as listas do curso
Changed lines 22-25 from:
to:
  • Hakan Kjellerstrand :: Sitio do Hakank -- diversos modelos sobre CP (fortemente recomendado)
Changed lines 38-55 from:
  • Hakan Kjellerstrand :: Sitio do Hakank -- diversos modelos sobre CP (fortemente recomendado)
  • Turma: semestre corrente -- desatualizado Projetos Finais de Disciplina - Listagem Completa de Sugestões etc
  • Um curso análogo ao aqui proposto Muito bom o curso e atual de Marco Chiarandini da Dinamarca -- em inglês
  • Sugestões para os projetos finais de disciplina :: Escolha problems organised by subject area and problem number
  • Slides do seminário: A matemática na modelagem de problemas da PR -- Seminário apresentado no DMAT dia 25/05/2012
  • Página de um curso de Linguagens Avançadas na Bélgica :: Todas as dicas de instalação do Eclipse, até com a parte gráfica de busca. Como configurar e usar. Fácil de ler.
to:

% * Turma: semestre corrente -- desatualizado Projetos Finais de Disciplina - Listagem Completa de Sugestões etc

*Um curso análogo ao aqui proposto Muito bom o curso e atual de Marco Chiarandini da Dinamarca -- em inglês

  • Sugestões de bons problemas na área de Restrições :: problems organised by subject area and problem number

* Página de um curso de Linguagens Avançadas na Bélgica :: % Todas as dicas de instalação do Eclipse, até com a parte gráfica de busca. Como configurar e usar. Fácil de ler.

Changed lines 59-74 from:
  • Material do curso de Lógica :: Lógica essencial ...
  • Este curso tem por base o curso de Programação em Lógica com Restrições do Roman Barták. As notas de aula

aula podem ser baixadas diretamente deste link.

to:

August 14, 2014, at 10:50 AM by claudio -
Changed lines 7-9 from:
  • Aulas 4as. feiras: 17:00 hrs. as 20:20 hrs. (F-204 - 2o Andar)
to:
  • Aulas 4as. feiras: 17:10 hrs. as 20:40 hrs. (F-107 - 1o. Andar -- teoria)
  • F-307 parte prática -- 3o. andar
Changed lines 13-19 from:
  • Slides das implementações discutidas no curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
  • Modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados (em ECLIPSE e MINIZINC)
to:
  • Modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados (em ECLIPSE e MINIZINC, em um diretório)
Changed lines 17-19 from:
  • --
to:
  • As melhores listas de 2014-2 -- As melhores listas da semana em 2014-2
Added line 22:
Deleted line 25:
August 13, 2014, at 04:33 PM by claudio -
Changed lines 19-23 from:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
  • As melhores listas de 2014-1 --

Haviam solicitado ... algumas boas soluções das listas 2014-1

to:
  • Listas de Exercícios 2014-2 -- Há um diretório com todas as listas do curso
  • --
May 18, 2014, at 03:16 PM by claudio -
Changed line 1 from:

Programação por Restrições -- OLPR 0001 \\

to:

Fundamentos de Programação por Restrições \\

Added lines 4-5:
  • Parte da disciplina de OLPR 0001 (LÓGICA APLICADA A PROGRAMAÇÃO POR RESTRIÇÕES) usa este sítio
May 07, 2014, at 07:42 PM by claudio -
Changed lines 17-19 from:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
to:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
May 07, 2014, at 07:40 PM by claudio -
Changed lines 17-21 from:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
to:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
May 07, 2014, at 07:38 PM by claudio -
Changed lines 8-9 from:
  • Slides principais do curso inteiro -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
to:
  • Slides principais do curso inteiro -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
May 07, 2014, at 07:07 PM by claudio -
Added lines 18-20:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
April 07, 2014, at 11:37 AM by claudio -
Added lines 18-20:
  • As melhores listas de 2014-1 --

Haviam solicitado ... algumas boas soluções das listas 2014-1

March 05, 2014, at 01:50 PM by claudio -
Changed lines 7-8 from:
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)
to:
Deleted line 9:
Changed lines 16-21 from:
  • Listas de Exercícios 2013-2 -- Há um diretório com todas as listas do curso
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
to:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)
Changed line 111 from:

to:

February 01, 2014, at 03:46 PM by claudio -
Changed lines 9-28 from:
  • Slides principais do curso inteiro -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
  • Slides das implementações discutidas no curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
  • Modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados (em ECLIPSE e MINIZINC)
  • Listas de Exercícios 2013-2 -- Há um diretório com todas as listas do curso
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
  • Slides diversos da 2nd International Optimisation Summer School -- Slides diversos da 2nd International Optimisation Summer School, from 12th to 17th January 2014

ANU's Kioloa Costal Campus Kioloa, New South Wales, Australia

to:
  • Slides principais do curso inteiro -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
  • Slides das implementações discutidas no curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
  • Modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados (em ECLIPSE e MINIZINC)
  • Listas de Exercícios 2013-2 -- Há um diretório com todas as listas do curso
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
  • Slides diversos da 2nd International Optimisation Summer School -- ALGUNS slides diversos da 2nd International Optimisation Summer School, from 12th to 17th January 2014 ANU's Kioloa Costal Campus Kioloa, New South Wales, Australia
January 30, 2014, at 04:42 PM by claudio -
Changed lines 24-26 from:
  • [[https://www.dropbox.com/sh/d6i6aiw6vm2a58p/-qnaU0TAXK | Slides diversos

da 2nd International Optimisation Summer Schoo ]] -- Slides diversos da 2nd International Optimisation Summer School, from 12th to 17th January 2014

to:
  • Slides diversos da 2nd International Optimisation Summer School -- Slides diversos da 2nd International Optimisation Summer School, from 12th to 17th January 2014
January 30, 2014, at 04:40 PM by claudio -
Added lines 15-17:
  • Modelos em ECLIPSE e MINIZINC -- Códigos fontes apresentados em aula -- sempre atualizados (em ECLIPSE e MINIZINC)
Changed lines 21-23 from:
  • Códigos fontes de exemplos apresentados no curso -- Experimentos de aula -- sempre atualizado
to:
  • Listas de Exercícios 2014-1 -- Há um diretório com todas as listas do curso
  • [[https://www.dropbox.com/sh/d6i6aiw6vm2a58p/-qnaU0TAXK | Slides diversos

da 2nd International Optimisation Summer Schoo ]] -- Slides diversos da 2nd International Optimisation Summer School, from 12th to 17th January 2014 ANU's Kioloa Costal Campus Kioloa, New South Wales, Australia

October 15, 2013, at 09:31 AM by claudio -
Changed lines 15-18 from:
  • Listas de Exercícios -- Há um

diretório com todas as listas do curso

to:
  • Listas de Exercícios 2013-2 -- Há um diretório com todas as listas do curso
October 15, 2013, at 09:30 AM by claudio -
Added lines 14-18:
  • Listas de Exercícios -- Há um

diretório com todas as listas do curso

August 13, 2013, at 02:25 PM by claudio -
Changed line 1 from:

Programação por Restrições \\

to:

Programação por Restrições -- OLPR 0001 \\

Changed lines 5-6 from:
  • Aulas 4as. feiras: 17:00 hrs. as 20:20 hrs. (F-20X por default)
to:
  • Aulas 4as. feiras: 17:00 hrs. as 20:20 hrs. (F-204 - 2o Andar)
July 26, 2013, at 09:28 AM by claudio -
Changed lines 7-8 from:
to:
  • Conduta no curso com o prof Claudio Dicas saudáveis que devem ser conhecidas para aulas do prof Claudio (o arquivo: perolas_do_cc.pdf)
July 19, 2013, at 04:14 PM by claudio -
Changed lines 5-9 from:
  • Aulas 2as. feiras: 13:30 hrs. e 5as. feiras: 15:20 hrs. (F-301 por default)
  • NOVO: Turma: semestre corrente Projetos Finais de Disciplina - Listagem Completa de Sugestões etc
to:
  • Aulas 4as. feiras: 17:00 hrs. as 20:20 hrs. (F-20X por default)
Added line 10:
Changed lines 13-19 from:
  • Slides do seminário: A matemática na modelagem de problemas da PR -- Seminário apresentado no DMAT dia 25/05/2012
  • Códigos fontes de exemplos apresentados no curso -- Experimentos de aula
to:
  • Códigos fontes de exemplos apresentados no curso -- Experimentos de aula -- sempre atualizado
Changed lines 18-26 from:
  • Repositório do curso -- desatualizado
  • Um curso análogo ao aqui proposto Muito bom o curso e atual de Marco Chiarandini da Dinamarca -- em inglês
  • Material de Prolog :: Um supra-suma de um bom material em Prolog (vá estudando por conta)
  • Eclipse-CLP :: Uma das ferramentas da disciplina -- Eclipse-CLP
to:

feito ao longo dos anos

  • Eclipse-CLP :: A ferramentas da disciplina -- Eclipse-CLP
Added lines 28-33:
  • Turma: semestre corrente -- desatualizado Projetos Finais de Disciplina - Listagem Completa de Sugestões etc
  • Um curso análogo ao aqui proposto Muito bom o curso e atual de Marco Chiarandini da Dinamarca -- em inglês
Added lines 37-39:
  • Slides do seminário: A matemática na modelagem de problemas da PR -- Seminário apresentado no DMAT dia 25/05/2012
July 10, 2013, at 08:02 AM by claudio -
Added lines 18-20:
  • Códigos fontes de exemplos apresentados no curso -- Experimentos de aula
May 28, 2012, at 10:44 AM by claudio -
Changed lines 15-18 from:
  • [[https://www.dropbox.com/s/kwetiyqn74lut3k/slides_dmat_cp.pdf | A matemática na modelagem

de problemas da PR]] -- Seminário apresentado no DMAT dia 25/05/2012

to:
  • Slides do seminário: A matemática na modelagem de problemas da PR -- Seminário apresentado no DMAT dia 25/05/2012
May 28, 2012, at 10:42 AM by claudio -
Added lines 15-18:
  • [[https://www.dropbox.com/s/kwetiyqn74lut3k/slides_dmat_cp.pdf | A matemática na modelagem

de problemas da PR]] -- Seminário apresentado no DMAT dia 25/05/2012

March 27, 2012, at 08:58 PM by claudio -
Added lines 20-21:
  • Um curso análogo ao aqui proposto Muito bom o curso e atual de Marco Chiarandini da Dinamarca -- em inglês
March 22, 2012, at 06:34 PM by claudio -
Changed lines 1-2 from:

Programação em Lógica com Restrições

to:

Programação por Restrições
Constraint Programming

March 22, 2012, at 11:27 AM by claudio -
Changed lines 9-10 from:
  • Slides principais do curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
to:
  • Slides principais do curso inteiro -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
Added lines 13-16:
  • livro gratuito sobre ECLiPSe -- link direto -- Welcome to a CLP textbook for beginners by Professor Antoni Niederliński, 2011, IX, 420 pages, ISBN 978-83-62652-08-2. The online-version is free to download! An accessible introduction to CLP with ECLiPSe?, emphasizing an intuitive understanding of the basic methods of CLP, via examples of increasing difficulty. For those who want to get started quickly with solving and optimizing combinatorial and continuous problems.
March 21, 2012, at 11:41 AM by claudio -
Changed lines 9-13 from:
  • Slides principais do curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save as ...
  • Slides das implementações discutidas no curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save as ...
to:
  • Slides principais do curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
  • Slides das implementações discutidas no curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save link as ...
March 21, 2012, at 11:40 AM by claudio -
Changed lines 9-12 from:
  • Slides principais do curso
  • Slides das implementações discutidas no curso
to:
  • Slides principais do curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save as ...
  • Slides das implementações discutidas no curso -- sempre atualizado -- click com o botão esquerdo do rato, e de um save as ...
March 21, 2012, at 09:08 AM by claudio -
Changed lines 9-10 from:
  • Repositório do curso
to:
  • Slides principais do curso
  • Slides das implementações discutidas no curso
  • Repositório do curso -- desatualizado
March 20, 2012, at 11:33 AM by claudio -
Added lines 22-25:
  • Página de um curso de Linguagens Avançadas na Bélgica :: Todas as dicas de instalação do Eclipse, até com a parte gráfica de busca. Como configurar e usar. Fácil de ler.
March 02, 2012, at 09:54 AM by claudio -
Added lines 7-8:
Deleted lines 82-83:

Turma: semestre corrente Projetos Finais de Disciplina - Listagem Completa

March 02, 2012, at 09:37 AM by claudio -
Changed line 82 from:

Turma 2008 - 1 Projetos Finais de Disciplina - Listagem Completa - 2008-1

to:

Turma: semestre corrente Projetos Finais de Disciplina - Listagem Completa

February 19, 2012, at 04:24 PM by claudio -
Changed lines 11-21 from:
  • Eclipse-CLP :: Ferramenta da disciplina -- Eclipse-CLP
  • Eclipse e CP :: Eclipse e CP, aulas em videos, pdfs, etc -- imperdível
  • Hakan Kjellerstrand :: Sitio do Hakank -- diversos sobre CP
  • Sugestões para os projetos finais de disciplina :: Escolha problems organised by subject area and problem number (fortemente recomendado)
  • Outras sugestões... embora são apenas jogos :: Escolha seu projeto
to:
  • Eclipse-CLP :: Uma das ferramentas da disciplina -- Eclipse-CLP
  • Eclipse e CP :: Eclipse e CP, aulas em videos, pdfs, etc -- imperdível Basicamente o que o professo Claudio fala em aula.
  • Hakan Kjellerstrand :: Sitio do Hakank -- diversos modelos sobre CP (fortemente recomendado)
  • Sugestões para os projetos finais de disciplina :: Escolha problems organised by subject area and problem number
  • Outras sugestões... embora sejam apenas jogos :: Escolha seu projeto
Changed lines 35-36 from:
to:
  • *
Deleted line 40:
Changed line 48 from:
   2. O certo é:\\
to:
   2. Uma alternativa é dada:\\
February 13, 2012, at 10:12 PM by claudio -
Deleted lines 8-9:
  • Material do curso de Lógica :: Lógica essencial ...
Added lines 25-27:
  • Material do curso de Lógica :: Lógica essencial ...
February 13, 2012, at 10:11 PM by claudio -
Changed lines 3-6 from:
  • Lista da disciplina: toe-16-l@joinville.udesc.br
  • Aulas 2as. feiras: 15:20 hrs. e 4as. feiras: 15:20 hrs. (F-310 por default)
  • Avaliação: 50% provas, 50% projeto individual final
to:
  • Lista da disciplina: toe-16-l@joinville.udesc.br e tes-18
  • Aulas 2as. feiras: 13:30 hrs. e 5as. feiras: 15:20 hrs. (F-301 por default)
Deleted lines 8-11:
  • Sugestões para os projetos finais de disciplina :: Escolha problems organised by subject area and problem number (fortemente recomendado)
  • Outras sugestões... embora são apenas jogos :: Escolha seu projeto
Added lines 20-23:
  • Sugestões para os projetos finais de disciplina :: Escolha problems organised by subject area and problem number (fortemente recomendado)
  • Outras sugestões... embora são apenas jogos :: Escolha seu projeto
December 23, 2011, at 09:56 AM by claudio -
Added lines 19-20:
  • Eclipse e CP :: Eclipse e CP, aulas em videos, pdfs, etc -- imperdível
March 23, 2010, at 06:56 AM by claudio -
Changed lines 19-21 from:
  • Eclipse-CLP :: Ferramenta da disciplina -- Eclipse-CLP
to:
  • Hakan Kjellerstrand :: Sitio do Hakank -- diversos sobre CP
March 23, 2010, at 06:31 AM by claudio -
Changed lines 19-20 from:
to:
  • Eclipse-CLP :: Ferramenta da disciplina -- Eclipse-CLP
September 29, 2009, at 07:31 AM by claudio -
Changed lines 21-23 from:
to:
  • Exemplo do artigo/modelo final :: Está no Repositório do curso
September 22, 2009, at 05:12 PM by claudio -
Added lines 7-8:
  • Repositório do curso
Deleted line 12:
Added line 20:
Changed line 64 from:
  • Alguns artigos clássicos
to:
Changed line 71 from:
  • Estrutura da área de CLP com slides por Pedro Barahona de Portugal. Os slides são baseados no livro de K. Marriot and P. Stuckey, Programming with Constraints – An Introduction, MIT Press, 1998
to:
  • Estrutura da área de CLP com slides por Pedro Barahona de Portugal. Os slides são baseados no livro de K. Marriot and P. Stuckey, Programming with Constraints – An Introduction, MIT Press, 1998
September 09, 2009, at 05:14 PM by claudio -
Changed lines 16-18 from:
  • Eclipse-CLP :: Ferramenta da disciplina -- Eclipse-CLP
to:
  • Eclipse-CLP :: Ferramenta da disciplina -- Eclipse-CLP
September 09, 2009, at 05:13 PM by claudio -
Added lines 16-18:
  • Eclipse-CLP :: Ferramenta da disciplina -- Eclipse-CLP
August 30, 2009, at 06:12 PM by claudio -
Changed lines 12-13 from:
  • Material de Lógica :: Lógica essencial ...
to:
  • Material do curso de Lógica :: Lógica essencial ...
August 24, 2009, at 02:45 PM by Lucas -
Changed line 4 from:
  • Aulas 2as. feiras: 15:20 hrs. e 4as. feiras: 15:20 hrs.
to:
  • Aulas 2as. feiras: 15:20 hrs. e 4as. feiras: 15:20 hrs. (F-310 por default)
Added line 6:
Changed lines 8-13 from:
  • Outras sugestões :: Escolha logo o seu projeto
  • Material de Lógica :: Lógica essencial
  • Material de Prolog :: Um supra-suma de Prolog
to:
  • Outras sugestões... embora são apenas jogos :: Escolha seu projeto
  • Material de Lógica :: Lógica essencial ...
  • Material de Prolog :: Um supra-suma de um bom material em Prolog (vá estudando por conta)
  • Padrão do artigo ? :: Falta incluir....
Added line 23:
Changed lines 25-27 from:
  • Estou deixando os artigos corrigidos na secretaria
  • Em face da qualidade dos artigos, baixei a sua influência na nota para 50%.
  • 4a. feira - xxx - fecho todas as notas no SigmaWeb?. Logo, entrega definitiva até amanhã. Contudo, aceito melhorias até o dia do Exame Final, isentando o aluno do mesmo caso exista um sensível e significativa melhora do artigo. As pessoas estão confundindo o que é um artigo científico, com um relatório de disciplina. O do Fernando Galera foi o melhor até o momento, solicitem a ele um pdf do artigo em desenvolvimento como exemplo.
to:
Changed lines 54-56 from:
  • Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (Aos estudantes sem projeto, escolham um dos problemas deste caderno.)
to:
August 12, 2009, at 03:30 PM by claudio -
Changed lines 9-11 from:
  • Material de Lógica :: Lógica

essencial

to:
  • Material de Lógica :: Lógica essencial
August 12, 2009, at 03:23 PM by claudio -
Added lines 9-13:
  • Material de Lógica :: Lógica

essencial

  • Material de Prolog :: Um supra-suma de Prolog
August 11, 2009, at 09:48 AM by claudio -
Changed line 4 from:
  • Aulas 2as. feiras: 13:30 hrs. e 5as. feiras: 15:20 hrs.
to:
  • Aulas 2as. feiras: 15:20 hrs. e 4as. feiras: 15:20 hrs.
Changed line 12 from:
  • 2a. Prova: xx de xxx 200x - 2a. feira - 13:30 hrs. Notas no SigmaWeb?
to:
  • 2a. Prova: xx de xxx 200x - 2a. feira - 15:30 hrs. Notas no SigmaWeb?
October 21, 2008, at 02:10 PM by claudio -
Added lines 9-11:
  • Este curso tem por base o curso de Programação em Lógica com Restrições do Roman Barták. As notas de aula

aula podem ser baixadas diretamente deste link.

September 28, 2008, at 10:09 PM by claudio -
Changed line 3 from:
to:
  • Lista da disciplina: toe-16-l@joinville.udesc.br
Changed lines 6-8 from:
  • Sugestões para os projetos finais de disciplina :: Escolha logo o seu projeto
to:
  • Sugestões para os projetos finais de disciplina :: Escolha problems organised by subject area and problem number (fortemente recomendado)
  • Outras sugestões :: Escolha logo o seu projeto
August 18, 2008, at 11:24 PM by claudio -
Changed line 6 from:
  • Sugestões para os projetos finais de disciplina :: Escolha logo o seu projeto
to:
  • Sugestões para os projetos finais de disciplina :: Escolha logo o seu projeto
August 18, 2008, at 11:22 PM by claudio -
Changed line 3 from:
to:
Added line 6:
  • Sugestões para os projetos finais de disciplina :: Escolha logo o seu projeto
Changed line 11 from:
  • 4a. feira - 02/julho - fecho todas as notas no SigmaWeb?. Logo, entrega definitiva até amanhã. Contudo, aceito melhorias até o dia do Exame Final, isentando o aluno do mesmo caso exista um sensível e significativa melhora do artigo. As pessoas estão confundindo o que é um artigo científico, com um relatório de disciplina. O do Fernando Galera foi o melhor até o momento, solicitem a ele um pdf do artigo em desenvolvimento como exemplo.
to:
  • 4a. feira - xxx - fecho todas as notas no SigmaWeb?. Logo, entrega definitiva até amanhã. Contudo, aceito melhorias até o dia do Exame Final, isentando o aluno do mesmo caso exista um sensível e significativa melhora do artigo. As pessoas estão confundindo o que é um artigo científico, com um relatório de disciplina. O do Fernando Galera foi o melhor até o momento, solicitem a ele um pdf do artigo em desenvolvimento como exemplo.
July 27, 2008, at 10:26 PM by claudio -
July 27, 2008, at 10:26 PM by claudio -
Changed line 53 from:
  • Slides + Fontes do livro do Marriot Muito interessante
to:
  • Slides + Código Fontes do livro do Kim Marriott and Peter J. Stuckey Muito interessante - Livro fortemente recomendado: Programming with Constraints: an Introduction
July 26, 2008, at 08:22 AM by claudio -
Changed line 6 from:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs. Notas no SigmaWeb?
to:
  • 2a. Prova: xx de xxx 200x - 2a. feira - 13:30 hrs. Notas no SigmaWeb?
Changed lines 14-16 from:
to:
Changed line 59 from:

Turma 2008 - 1 Projetos Finais de Disciplina - Listagem Completa

to:

Turma 2008 - 1 Projetos Finais de Disciplina - Listagem Completa - 2008-1

July 06, 2008, at 08:39 PM by claudio -
Changed lines 41-42 from:

Os links abaixo, contém um bom material da área de Programação por Restrições (Constraint Programming)

to:

Os links abaixo, contém um bom material da área de Programação com Restrições (Constraint Programming)

Changed lines 53-54 from:
to:
  • Slides + Fontes do livro do Marriot Muito interessante
  • Bons exemplos em B-Prolog. Fácil para o SWI-Prolog Com bons códigos e exemplos
July 05, 2008, at 03:13 PM by claudio -
July 05, 2008, at 03:09 PM by claudio -
Changed lines 14-16 from:
to:
July 05, 2008, at 01:55 AM by claudio -
Changed lines 1-3 from:

Programação em Lógica por Restrições

to:

Programação em Lógica com Restrições

July 03, 2008, at 02:16 PM by claudio -
Changed lines 11-14 from:
  • As notas da Maratona de Programação ainda não foram computadas.
to:
July 01, 2008, at 07:54 PM by claudio -
Changed lines 10-12 from:
  • 4a. feira - 02/julho - fecho todas as notas no SigmaWeb?. Logo, entrega definitiva até amanhã. Contudo, aceito melhorias até o dia do Exame Final, isentando o aluno do mesmo caso exista um sensível e significativa melhora do artigo. As pessoas estão confundindo o que é um artigo científico, com um relatório de disciplina. O do Fernando Galera foi o melhor até o momento, solicitem a ele o exemplo.
to:
  • 4a. feira - 02/julho - fecho todas as notas no SigmaWeb?. Logo, entrega definitiva até amanhã. Contudo, aceito melhorias até o dia do Exame Final, isentando o aluno do mesmo caso exista um sensível e significativa melhora do artigo. As pessoas estão confundindo o que é um artigo científico, com um relatório de disciplina. O do Fernando Galera foi o melhor até o momento, solicitem a ele um pdf do artigo em desenvolvimento como exemplo.
  • As notas da Maratona de Programação ainda não foram computadas.
July 01, 2008, at 05:11 PM by claudio -
Changed lines 10-11 from:
to:
  • 4a. feira - 02/julho - fecho todas as notas no SigmaWeb?. Logo, entrega definitiva até amanhã. Contudo, aceito melhorias até o dia do Exame Final, isentando o aluno do mesmo caso exista um sensível e significativa melhora do artigo. As pessoas estão confundindo o que é um artigo científico, com um relatório de disciplina. O do Fernando Galera foi o melhor até o momento, solicitem a ele o exemplo.
July 01, 2008, at 05:08 PM by claudio -
Changed line 5 from:
  • Avaliação: 30% provas, 70% projeto individual final
to:
  • Avaliação: 50% provas, 50% projeto individual final
Changed lines 8-10 from:
  • Nesta 6a. feira ... já coloquei muitos artigos na secretaria com as correções.
to:
  • Estou deixando os artigos corrigidos na secretaria
  • Em face da qualidade dos artigos, baixei a sua influência na nota para 50%.
June 27, 2008, at 05:13 PM by claudio -
Changed line 17 from:
   1. Vi muito códigos com algo do tipo: maior(X,Y) :- (X > Y -> write(X) ; write(Y)). 
to:
   1. Vi muito códigos com algo do tipo:  maior(X,Y) :- (X > Y -> write(X) ; write(Y)).
Changed lines 19-22 from:
      certo(X,Y) :- X > Y , write(X),!. 
      certo(_,Y) :- write(Y). 
to:
     
 certo(X,Y) :- X > Y , write(X),!.
      certo(_,Y) :- write(Y).
June 27, 2008, at 05:03 PM by claudio -
Changed lines 13-18 from:
  * Livro do Bartak - ainda on-line
  # John Fisher (Emeritus Professor) - Usa exemplos clássicos Alguém com muitos anos de estrada
  • Insistam em entregar o texto em LaTeX e com entradas e saídas do programa funcionando. Tem que aprender mesmo!
   # Vi muito códigos com algo do tipo: maior(X,Y) :- (X > Y -> write(X) ; write(Y)). 
   # O certo é:\\
to:
  1. Livro do Bartak - ainda on-line
  2. John Fisher (Emeritus Professor) - Usa exemplos clássicos Alguém com muitos anos de estrada
  • Insistam em entregar o texto em LaTeX e com várias entradas e saídas do programa funcionando. Tem que aprender mesmo!
   1. Vi muito códigos com algo do tipo: maior(X,Y) :- (X > Y -> write(X) ; write(Y)). 
   2. O certo é:\\
Changed lines 46-48 from:
  • Outro guia do que escrever no artigo/projeto final Estah em ingles.
to:
  • Outro guia do que escrever no artigo/projeto final Está em ingles.
June 27, 2008, at 05:02 PM by claudio -
Changed line 13 from:
  # Livro do Bartak - ainda on-line
to:
  * Livro do Bartak - ainda on-line
Changed line 17 from:
   # Vi muito códigos com algo do tipo: maior(X,Y) :- (X > Y -> write(X) ; write(Y)).
to:
   # Vi muito códigos com algo do tipo: maior(X,Y) :- (X > Y -> write(X) ; write(Y)). 
Changed lines 19-22 from:
     certo(X,Y) :- X > Y , write(X),!.
     certo(_,Y) :- write(Y).
to:
      certo(X,Y) :- X > Y , write(X),!. 
      certo(_,Y) :- write(Y). 
June 27, 2008, at 05:00 PM by claudio -
Added line 10:
Changed line 16 from:
  • Insistam em entregar o texto em LaTeX e com entradas e saídas do programa funcionando. Tem que aprender mesmo !
to:
  • Insistam em entregar o texto em LaTeX e com entradas e saídas do programa funcionando. Tem que aprender mesmo!
June 27, 2008, at 04:59 PM by claudio -
Changed line 6 from:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs. Sai hoje as notas 5a. feira (26/06)
to:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs. Notas no SigmaWeb?
Added line 9:
Changed lines 14-15 from:
  • Insistam em entregar o texto em LaTeX. Tem que aprender mesmo !
to:
  • Insistam em entregar o texto em LaTeX e com entradas e saídas do programa funcionando. Tem que aprender mesmo !
   # Vi muito códigos com algo do tipo: maior(X,Y) :- (X > Y -> write(X) ; write(Y)).
   # O certo é:
certo(X,Y) :- X > Y , write(X),!. certo(_,Y) :- write(Y).
June 27, 2008, at 04:49 PM by claudio -
Changed lines 10-13 from:

confusas. Eis mais dois bons links:

    # Livro do Bartak - on-line
    # John Fisher (Emeritus Professor) Alguém com muitos anos de estrada
to:

confusas e estranhas. Eis mais dois bons links:

  # Livro do Bartak - ainda on-line
  # John Fisher (Emeritus Professor) - Usa exemplos clássicos Alguém com muitos anos de estrada
  • Insistam em entregar o texto em LaTeX. Tem que aprender mesmo !
June 27, 2008, at 04:46 PM by claudio -
Changed lines 8-13 from:
to:
  • Nesta 6a. feira ... já coloquei muitos artigos na secretaria com as correções.
  • Muitos estão com dificuldade no Prolog, consequentemente, fazendo linhas de código muito

confusas. Eis mais dois bons links:

    # Livro do Bartak - on-line
    # John Fisher (Emeritus Professor) Alguém com muitos anos de estrada
June 26, 2008, at 08:03 AM by claudio -
Changed lines 6-8 from:
to:
June 26, 2008, at 08:02 AM by claudio -
Changed lines 7-8 from:
to:
June 26, 2008, at 08:01 AM by claudio -
Changed lines 6-8 from:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs.
to:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs. Sai hoje as notas 5a. feira
  • ... aqui!?
June 23, 2008, at 01:01 AM by claudio -
Changed lines 26-27 from:
  • No laboratório com os estudantes - Exercícios em Laboratório - Vai para Portugal
to:
  • No laboratório com os estudantes - pdf - Exercícios em Laboratório - Vai para Portugal
  • Estudantes no laboratório - html - - Exercícios em Laboratório - Vai para Portugal
June 15, 2008, at 07:37 PM by claudio -
Changed line 6 from:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs.
to:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs.
June 15, 2008, at 07:36 PM by claudio -
Added line 6:
  • 2a. Prova: 23 de junho 2007 - 2a. feira - 13:30 hrs.
May 20, 2008, at 11:38 PM by claudio -
Added lines 8-10:
  # Uma transcrição do conteúdo do link acima, está sendo construído em LaTeX. Serve como 
guia para o relatório do Projeto Final. Este texto encontra-se em:
Basta sobreescrever o conteúdo
Added line 13:
Changed lines 15-16 from:
to:
May 19, 2008, at 06:36 PM by claudio -
Changed line 28 from:

Turma 2008 - 1 Projetos Finais de Disciplina - Listagem Completa

to:

Turma 2008 - 1 Projetos Finais de Disciplina - Listagem Completa

May 19, 2008, at 06:35 PM by claudio -
Changed line 28 from:
to:

Turma 2008 - 1 Projetos Finais de Disciplina - Listagem Completa

May 19, 2008, at 06:33 PM by claudio -
Changed line 28 from:
to:
May 19, 2008, at 06:15 PM by claudio -
Changed lines 26-28 from:

to:
May 19, 2008, at 04:12 PM by claudio -
Changed lines 23-24 from:
to:
  • Outro guia do que escrever no artigo/projeto final Estah em ingles.
May 19, 2008, at 03:43 PM by claudio -
Changed lines 22-23 from:
to:
  • Texto sobre palavras-cruzadas - Para o Leonardo que vai fazer o gerador de Palavras-Cruzadas
May 18, 2008, at 11:13 PM by claudio -
Changed lines 21-23 from:
  • Estrutura da área de CLP com slides em português por Pedro Barahona de Portugal.
to:
  • Estrutura da área de CLP com slides por Pedro Barahona de Portugal. Os slides são baseados no livro de K. Marriot and P. Stuckey, Programming with Constraints – An Introduction, MIT Press, 1998
May 18, 2008, at 11:06 PM by claudio -
Changed lines 21-22 from:
to:
  • Estrutura da área de CLP com slides em português por Pedro Barahona de Portugal.
May 16, 2008, at 03:32 PM by claudio -
Changed lines 10-11 from:
  • Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)
to:
  • Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (Aos estudantes sem projeto, escolham um dos problemas deste caderno.)
May 16, 2008, at 03:31 PM by claudio -
Changed line 5 from:
  • Avaliação: 30% prova, 70% projeto individual final
to:
  • Avaliação: 30% provas, 70% projeto individual final
May 16, 2008, at 03:31 PM by claudio -
Changed lines 20-22 from:
  • No laboratório com os estudantes - Exercícios em Laboratório
to:
  • No laboratório com os estudantes - Exercícios em Laboratório - Vai para Portugal
May 16, 2008, at 03:30 PM by claudio -
Changed lines 18-19 from:
  • Mark Wallace - Curso on-line

sobre CP escrito pelo Wallace. Fácil leitura. Direto com os principais pontos.

to:
  • Mark Wallace - Curso on-line sobre CP escrito pelo Wallace. Fácil leitura. Direto com os principais pontos.
May 16, 2008, at 03:27 PM by claudio -
Changed lines 10-11 from:
to:
  • Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)
Deleted lines 15-16:
Deleted line 16:
Deleted line 17:
Changed lines 22-23 from:
  • Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)
to:
May 16, 2008, at 03:26 PM by claudio -
Deleted lines 11-12:

Alguns artigos clássicos

Changed lines 13-20 from:

Prof. Roman Barták's da Czech Republic - Contém cursos sobre CLP, transparências, artigos, etc.
Prof. Neng-Fa Zhou - USA - Um material didático muito bom
Mark Wallace - Curso on-line sobre CP escrito pelo Wallace. Fácil leitura. Direto com os principais pontos.
Motivando os estudantes - Quebra-cabeças - Motivação
No laboratório com os estudantes - Exercícios em Laboratório
Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)

to:
  • Alguns artigos clássicos
  • Prof. Roman Barták's da Czech Republic - Contém cursos sobre CLP, transparências, artigos, etc.
  • Prof. Neng-Fa Zhou - USA - Um material didático muito bom
  • Mark Wallace - Curso on-line

sobre CP escrito pelo Wallace. Fácil leitura. Direto com os principais pontos.

  • Motivando os estudantes - Quebra-cabeças - Motivação
  • No laboratório com os estudantes - Exercícios em Laboratório
  • Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)
May 16, 2008, at 03:25 PM by claudio -
Changed lines 1-3 from:

Programação em Lógica por Restrições

to:

Programação em Lógica por Restrições

  • Aulas 2as. feiras: 13:30 hrs. e 5as. feiras: 15:20 hrs.
  • Avaliação: 30% prova, 70% projeto individual final
  • Formatação do projeto:
    1. Link de como escrever um artigo http://www.inf.ufsc.br/~cislaghi/writing/index.htm
    2. Estilo da SBC - http://www.sbc.org.br/index.php?language=1&content=downloads&id=286
    3. Estilo da IEEE - http://www.ieee.org/web/publications/authors/transjnl/index.html

Changed lines 22-23 from:

Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)

to:

Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)


May 16, 2008, at 02:16 PM by claudio -
Added lines 1-14:

Programação em Lógica por Restrições

Alguns artigos clássicos

Os links abaixo, contém um bom material da área de Programação por Restrições (Constraint Programming)
Prof. Roman Barták's da Czech Republic - Contém cursos sobre CLP, transparências, artigos, etc.
Prof. Neng-Fa Zhou - USA - Um material didático muito bom
Mark Wallace - Curso on-line sobre CP escrito pelo Wallace. Fácil leitura. Direto com os principais pontos.
Motivando os estudantes - Quebra-cabeças - Motivação
No laboratório com os estudantes - Exercícios em Laboratório
Sugestões dos projetos INDIVIDUAIS - Projetos Finais de TOE - 16 (escolham aqueles que estão indefinidos)