O que é a Maratona de Programação?

Oi pessoal!

Estávamos devendo um post especial sobre a Maratona de Programação. Pois bem. Ei-lo aqui.
Fomos ao Instituto de Matemática e Estatística (IME) da USP durante a seletiva (2011) para a Maratona de Programação.

Além de filmarmos um pouco do evento, entrevistamos:
- Prof. Carlos Ferreira, do Departamento de Ciência da Computação da USP - um dos principais organizadores da Maratona de Programação no Brasil
- Wanderley Guimarães, doutorando no IME-USP - ex-participante e técnico tanto em Maratonas de Programação quanto na Olimpíada Brasileira de Informática, tendo ido várias algumas vezes a finais mundiais.
- Cassio de Campos - criador do BOCA

Parte 1




Parte 2 (adicionada em 11/10/2011)




Parte 3 (adicionada em 28/10/2011)

Estamos preparando um post especial sobre a Maratona de Programação

Olá a todos!

No domingo dia 21 de agosto aconteceu no IME-USP a seletiva do IME para a Maratona de Programação. Fizemos algumas entrevistas com organizadores e participantes (incluindo o prof. Carlos Ferreira, o coach Wanderley Guimarães e o criador do sistema BOCA, Cássio de Campos), e estas em breve estarão aqui no blog!

Já é possível ver algumas fotos na nossa página no Facebook [facebook.com/estudarcomputacao] e esse video abaixo que mostra a preparação para uma das entrevistas.

Aguardem por mais videos!
=)

I.A. - Inteligência Artificial ou Imbecilidade Automatizada? Máquinas podem pensar e sentir?

O título acima é também o tema de uma palestra dada pelo prof. Valdemar W. Setzer (do IME-USP). Em sua página, ele faz um breve resumo do que é tratado na apresentação e também coloca um texto mais longo sobre o assunto.

RESUMO

1. O ser humano é uma máquina? O que é um computador. Dado e informação. Sintaxe e semântica. O "quarto chinês" de Searle e a semântica. O pensar como processo singular e como ponte entre a percepção e o conceito. Exemplo da visão e da perspectiva linear. Intuição: xadrez eletrônico e Kasparov vs. Deep Blue. O que é compreender e aprender. A auto-determinação do pensar e a liberdade.
   
2. Qual o papel do cérebro? O cérebro é um computador? A atividade neuronal produz o pensamento ou vice-versa? Crítica a R. Kurzweil e suas profecias. Objeções de Penrose (o pensamento não é algorítmico) e de Fetzer (semiótica). As questões da autodeterminação do pensamento e a liberdade.
   
3. O que é inteligência? Tipos de inteligência (Gardner e Goleman). Inteligência incorporada em minerais, plantas, animais, seres humanos e máquinas. Inteligência criativa no ser humano. Máquinas podem ser inteligentes? O Teste de Turing e suas extensões (Harnad). Comparação com o "quarto chinês". Inteligência Artificial ou Imbecilidade Automatizada?
   
4. O que é ter sentimentos? Subjetividade e individualidade dos sentimentos. A universalidade das máquinas e a possibilidade de terem sentimentos. J. McCarthy e o seu "termostato com opinião". Pensar, sentir e querer.
   
5. Consciência e auto-consciência. As máquinas podem ter consciência?
   
6. Análise dos filmes The Bicentennial Man de Columbus e Artificial Intelligence de Spielberg. Absurdos presentes nos filmes. Mensagens dos filmes. Influências na mentalidade, principalmente em crianças.
   
7. Conclusões. O mundo e a humanidade em perigo e a questão da visão de mundo.

 Leia mais sobre o assunto em:
http://www.ime.usp.br/~vwsetzer/IAtrad.html (texto mais longo, em português)
http://www.ime.usp.br/~vwsetzer/AI.html (original, em inglês)
http://www.ime.usp.br/~vwsetzer/apresentacoes/IA-reduzida.pps (apresentação)

Vale a pena!

* Aproveite e dê uma fuçada na página do Prof. Setzer e leia mais textos dele. Você vai gostar!

Material de Inteligência Artificial

E aí, computólogos! Tudo bem com vocês?

Eu decidi, para facilitar a busca de materiais específicos no blog, que para cada assunto vou postar todos os materiais em um único post. Assim, tudo fica concentrado em um lugar.

Nesse post, venho divulgar um material de Inteligência Artificial usado por professores do IME-USP e o site de um professor da UCPel.

Slides da Profa. Leliane Barros (IME-USP)
Introdução à Inteligência Artificial (IME-USP)
http://www.ime.usp.br/~leliane/IAcurso2001/cronograma.html
http://www.ime.usp.br/~leliane/IAcurso2006/slides/
http://www.ime.usp.br/~leliane/IAcurso2007/

Laboratório de Inteligência Artificial (IME-USP)
http://www.ime.usp.br/~leliane/LabIA/

Sites interessantes sobre Inteligência Artificial (IME-USP)
http://www.ime.usp.br/~leliane/IAcurso2001/sitios-interes.html

Site do Prof. Marcelo Finger (IME-USP)
http://www.ime.usp.br/~mfinger/2008/IA/index.html

Site do Prof. Luiz A. M. Palazzo (UCPel)
http://gpia.ucpel.tche.br/~lpalazzo/Aulas/IA/

(Imagem: http://aima.cs.berkeley.edu/bella.jpg)

Site oficial do livro "Artificial Intelligence: A Modern Approach" (AIMA), de Stuart Russell e Peter Norvig
http://aima.cs.berkeley.edu/

Slides dos autores do livro (em inglês)
http://aima.eecs.berkeley.edu/slides-pdf/
(em breve pretendo publicar aqui no blog esse slides traduzidos)

Clique aqui para adquirir o livro AIMA em português ("Inteligência Artificial: Uma Abordagem Moderna")

[atualização1]

Material do prof. Paulo E. Santos, da FEI, São Paulo.
http://www.fei.edu.br/~psantos/slidesIA/aulas_IA.HTML

[/atualização1]

[atualização2 (31/10/2011)]

Slides do prof. Ronaldo Prati (baseados nos slides do livro "AIMA"), da UFABC, São Paulo.

http://professor.ufabc.edu.br/~ronaldo.prati/InteligenciaArtificial/2011-1.html

[/atualização2]

Aproveitem!

* Você conhece outros bons materiais de Inteligência Artificial? Comente aqui!


E por falar em Inteligência Artificial,  que tal ler a coleção Histórias de Robôs, de Isaac Asimov (incluem "Eu, Robô" e "O homem bicentenário")?

Listas de exercícios resolvidas - Computação, Estatística, Física e Matemática

Encontrei no site do Fernando Ferraz, estatístico do IME-USP, várias listas de exercícios resolvidas.

http://www.feferraz.net/br/P/Listas_de_Exercicios_Resolvidas

Além dessa seção do site, recomendo uma vasta pesquisa nas demais páginas, pois lá ele coloca várias dicas de livros e outros materiais para estudo (além de disciplinas de exatas, ele dá dicas de como melhorar seu inglês e alemão).

Recomendo!
http://www.feferraz.net

Material de Teoria dos Grafos para download

Esses dias dei uma breve motivação para o estudo de Teoria dos Grafos, numa aula de programação. Como passei para os alunos dicas de material, vou aproveitar pra colocar aqui também.

(http://www2.warwick.ac.uk/fac/sci/dcs/people/alexander_tiskin/teach/Konigsberg.jpeg)

Se você deseja ter uma breve definição, não custa nada consultar a boa e velha wikipedia (http://pt.wikipedia.org/wiki/Teoria_dos_grafos).

No entanto, se você deseja consultar um material com maior rigor matemático, eu recomendo fortemente o livro "Uma Introdução Sucinta à Teoria dos Grafos", dos professores Yoshiko Wakabayashi, Yoshiharu Kohayakawa e Paulo Feofiloff, todos do Instituto de Matemática e Estatística da USP.


O material encontra-se disponível para download e você pode buscar mais informações nas páginas abaixo:
http://www.ime.usp.br/~pf/teoriadosgrafos/

No link abaixo, você encontra vários exercícios sobre o mesmo assunto, organizados pelo prof. Paulo Feofiloff:
http://www.ime.usp.br/~pf/grafos-exercicios/

E nesse outro link você encontra mais uma série de links de livros (dessa lista, recomendo fortemente o livro Graph Theory with Applications, de Bondy e Murty. Esse livro também está disponível para download, porém seu conteúdo está em inglês).
http://www.ime.usp.br/~pf/grafos-exercicios/bib.html

Para completar as dicas, recomendo mais dois links de material on-line, mas esses não conheço bem:
- Material das profas. Graça Pimentel e Maria Cristina, do Instituto de Ciências Matemáticas e de Computação (ICMC) da USP: http://www.icmc.usp.br/manuals/sce183/grafos.html

- Material do prof. Antonio Carlos Mariani, do depertamento de Informática e Estatística (INE) da UFSC: http://www.inf.ufsc.br/grafos/livro.html


Espero que gostem! Bom estudo!

Material de Álgebra Booleana / Lógica Matemática

Divulgando mais uma vez aqui um excelente material de estudo.
Álgebra Booleana é um dos assuntos fundamentais para a Ciência da Computação. Encontrei o material no site do professor Ronaldo F. Hashimoto, mas ele foi elaborado pela professora Nina S. Hirata, ambos do Instituto de Matemática e Estatística da USP.

1. Conjuntos
2. Cálculo Proposicional
3. Álgebra Booleana
4. Exemplos de Aplicações de Álgebra Boolena
5. Expressões e Funções Booleanas
6. Lógica Combinacional Dois Níveis
7. Lógica Seqüencial
8. Lógica Combinacional Modular e Multi-Níveis

O cronograma das aulas encontra-se nesse link: http://www.vision.ime.usp.br/~nina/cursos/mac0329-2007/crono.html

Material excelente de Análise de Algoritmos

Depois de algum tempo sem postar, retorno a escrever pra dar uma dica sobre um material muito bom de Análise de Algoritmos.

Trata-se dos slides/aulas/textos do Prof. Paulo Feofiloff, do Departamento de Computação da USP. No site do Professor, podemos encontrar muita coisa disponível. Material que também é usado por vários outros professores.

Confira!
http://www.ime.usp.br/~pf/analise_de_algoritmos/


* e no site abaixo, você encontra o material de Projeto de Algoritmos em C do professor Paulo.
http://www.ime.usp.br/~pf/algoritmos/


O próximo post não vai demorar. Prometo!
=)