Concurso para Professor Doutor na UDESC - Joinville

Concurso para professor doutor na área de computação da UDESC - Campus Joinville.

As inscrições vão até quinta-feira, 27/11/08.

São 5 vagas para o Departamento de Ciência da Computação:

2 em Banco de Dados
1 em Engenharia de Software
1 em Teoria da Computação
1 para Automação e controle

O Edital está em:

http://www.udesc.br/make_page.php?id=453

Quer aprender Prolog?

Prolog e Programação em Lógica

Material sobre Prolog na Página do COCA

Apostila Prolog UFCG

Livro de Prolog - Prof. Eloi Favero

Lógica para Computação, Celso Kaestner

Programação em Lógica - Lucilia Figueiredo

Aula sobre Prolog

Programação Declarativa

Lógica - Implementando algoritmos lógicos PROLOG(swi Prolog) - pogMasters.net v.0.1

Prolog Aplicações Avançadas

Prolog Tutorials

Prolog Guide - Prolog in Examples

Prolog Guide - Prolog in Examples

Guide to Prolog Programming

Sobre Testes de Unidades em Prolog (Prolog Unit Tests)

Como instalar o SWI-Prolog 5.6.55com Unit Tests no Ubuntu 8.04
    Executar os comandos abaixo:
        wget  http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/binaries/pl-5.6.55-322.i586.rpm

sudo apt-get install alien

        sudo alien -d pl-5.6.55-322.i586.rpm
        sudo apt-get install swi-prolog
        sudo apt-get remove swi-prolog
        sudo dpkg -i pl_5.6.55-322_i386.deb



Atualização em 27/06/2015:
Links quebrados:

Tutorial sobre Prolog ``Programming in Logic'' (Programando em Lógica) - Prof. Claudio Sá - EM HTML

Tutorial de Prolog ``Programming in Logic'' (Programando em Lógica)

Tutorial sobre Prolog ``Programming in Logic'' (Programando em Lógica) - - Prof. Claudio Sá - EM PDF

Como baixar o SWI Prolog

Entre neste site:

http://www.swi-prolog.org/

Vá até esta página:

http://www.swi-prolog.org/dl-stable.html


Para Windows XP, pode clicar direto neste link aqui:

http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/w32pl5655.exe

Palestra "Resolvendo o Cubo de Rubik"

Resolvendo o Cubo de Rubik (Cubo Mágico)

      por Ilton Ancelmo Pereira Junior

          Data: 20/06 (6a. feira)
             Hora: 10:00 hrs.
               Sala: F-212
            UDESC-Joinville

Promoção: Grupo de Computação Cognitiva Aplicada
http://www.joinville.udesc.br/coca


--


  (
  ))
 |""|-.
 |__|-'
                                **********************************************************************
 Claudio Cesar de Sá
 Phone: +55 0XX(47) 431 7287
 Fax: +55 0XX(47) 473 0034
 E-mail: claudio at joinville.udesc.br   Skype: claudio_cesar_sa
 Grupo de Computação Cognitiva Aplicada - COCA
 http://www2.joinville.udesc.br/~coca
 Página do livro de Haskell:
 http://www2.joinville.udesc.br/~coca/index.php/Main/PaginaDoLivroDeHaskell
 Grupo Colméia - Linux  http://wwww.colmeia.udesc.br/
***********************************************************************


--
Esta mensagem foi verificada pelo sistema de antivírus e
acredita-se estar livre de perigo.

--
Prof. Adolfo Neto
Departamento de Ciência da Computação
Universidade do Estado de Santa Catarina
Joinville - SC - Brazil
email: neto@joinville.udesc.br
http://www.joinville.udesc.br/portal/professores/adolfo/
Grupo de Computação Cognitiva Aplicada -COCA
http://www.joinville.udesc.br/coca

Notas da Primeira Prova de TEC - 2008.1 - UDESC

Metodologias Ágeis

Aqui vão alguns links para quem se interessa por metologias ágeis de desenvolvimento de software: Palestras do professor Fabio Kon (IME-USP): Sobre XP: http://www.ime.usp.br/~kon/presentations/XP2006.ppt Sobre Refatoração: http://www.ime.usp.br/~kon/presentations/refatoracao2006.ppt Outras: http://www.ime.usp.br/~kon/presentations/ Artigos do professor Fabio Kon relacionados a XP: http://www.ime.usp.br/~kon/papers/jbcs-ese-2007.pdf http://www.ime.usp.br/~kon/papers/jbcs04.pdf Cooperativa de Desenvolvimento Ágil de Software: http://agilcoop.incubadora.fapesp.br/ XP na USP: http://xpusp.sourceforge.net/ Projeto Borboleta: http://borboleta.incubadora.fapesp.br/portal Personal Software Process (PSP): http://www.sei.cmu.edu/publications/documents/05.reports/05sr003.html PSP na Wikipédia: http://pt.wikipedia.org/wiki/Personal_software_process XP na Wikipédia: http://pt.wikipedia.org/wiki/Programa%C3%A7%C3%A3o_extrema O Manifesto Ágil: agilemanifesto.org Livro seminal do Kent Beck: http://www.amazon.com/Extreme-Programming-Explained-Embrace-Change/dp/0321278658/ref=pd_bbs_sr_2?ie=UTF8&s=books&qid=1209574867&sr=8-2 Kent Beck na Wikipedia: http://en.wikipedia.org/wiki/Kent_Beck Site do Martin Fowler, outro divulgador de metodologias ágeis: http://www.martinfowler.com/ Agradeço a quem me mandar outros links...

KAUST Discovery Scholarship, deadline May 11

Repassando... ------ Só faltam 12 dias para o fechamento da convocação do Programa KAUST em Brasil e 188 estudantes se registraram. Este número se traduz em aproximadamente 19 estudantes que completarão sua solicitação. Animo você a que nos ajude na promoção do programa nestes últimos dias! Nosso interesse é que os estudantes conheçam da bolsa e aproveitem esta grande oportunidade. Temos um flyer eletrônico muito pequeno que se poderia imprimir e distribuir em sua universidade durante o resto desta semana, como um anúncio eletrônico que pode ser muito efetivo para difusão em seu página web. Agradecemos-lhe infinitamente sua ajuda e se tem qualquer sugestão ou comentário, com gosto pode escrever-nos. Fechamento da convocação: 11 de maio, 2008. Os estudantes devem estar a um ou dois anos para finalizar a graduação. Cursos que participam: chemical engineering, civil and environmental engineering, applied mathematics and computational sciences, mechanical engineering, materials science and engineering Solicitação online: www.kaust.edu.sa Perguntas: bolsas@iielatinamerica.org Muito obrigado, Tonatiuh E. Damian Serna Program Officer Institute of International Education (52 55) 5535 - 4166