Oi lista, eu sei que o assunto do que exigir num concurso pra contratar um lógico ideal morreu, mas vamos ressucitá-lo!...
Vai ter um concurso pra Lógica e Teoria da Computação pra UFF - 40hs, dedicação exclusiva, etc - pro campus de Rio das Ostras; as inscrições se encerram no dia 22/maio/2009, isto é, nessa sexta-feira, daqui a nove dias (e a inscrição pra um outro concurso, para Matemática, se encerra no dia 29/maio/2009 - mas isso é outra história). Links: http://www.dimap.ufrn.br/pipermail/logica-l/2009-April/003554.html http://www.uff.br/copemag/editais/2009/130/edital-130-2009.pdf http://www.uff.br/copemag/editais/2009/130/quadro-anexo-edital-130-2009.pdf http://www.uff.br/copemag/editais/2009/130/ementa_logica-teoria-computacao.pdf http://www.uff.br/copemag/inscricao.php A ementa do concurso para Lógica e Teoria da Computação é esta: * Lógica proposicional * Lógica de predicados de primeira ordem * Lógicas de descrição * Lógicas modais e aplicações * Lógicas intuicionistas * Sistemas dedutivos (dedução natural, sequentes, tableaux, resolução): correção, completude, decidibilidade * Teoria de modelos (Lowenheim-Skolem, compacidade, ultraprodutos, etc.) * Teoremas de incompletude de Gödel * Teorias axiomáticas de conjuntos: ZFC e NBG * Verificação de programas: cálculo de Hoare * Verificação de modelos: LTL, CTL, CTL* * Provadores de teoremas, assistentes de prova e verificadores de provas * Linguagens formais: hierarquia de Chomsky e autômatos associados * Máquinas de Turing, decidibilidade * Formalismos de computabilidade e tese de Church * Análise sintática LL(k) e LR(k) * Teoria da complexidade * Lambda-cálculo não-tipado, tipado, polimorfismo e inferência de tipos E a bibliografia sugerida é: * Herbert B. Enderton: A Mathematical Introduction to Logic; Academic Press, 2000 Dirk van Dalen: Logic and Structure; Springer, 2008 * H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic; Springer, 1996 * Michael Huth, Mark Ryan: Logic in Computer Science: Modelling and Reasoning about Systems; Cambridge, 2004 * Walter Carnielli, Claudio Pizzi: Modalities and Multimodalities; Springer, 2008 * Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi: The Description Logic Handbook: Theory, Implementation, and Applications; Cambridge, 2007 * Noson S. Yanofsky: "A universal approach to self-referential paradoxes, incompleteness and fixed points" Bulletin of Symbolic Logic 9(3): 362-386, 2003. Também disponível em http://www.sci.brooklyn.cuny.edu/noson/paradox.pdf * John Leroy Kelley: General Topology; Ishi, 2008 * Kenneth Kunen: Set Theory; North Holland, 1983 * Paul Bernays: Axiomatic Set Theory; Dover, 1991 * Yves Bertot, Pierre Castéran: Interactive Theorem Proving and Program Development; Springer, 2004 * John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation; Addison Wesley, 2006 * Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman: Compilers: Principles, Techniques, and Tools; Addison Wesley, 2006 * J. Roger Hindley, Jonathan P. Seldin: Lambda-Calculus and Combinators: an Introduction; Cambridge, 2008 * Jean-Yves Girard, Yves Lafont, Paul Taylor: Proofs and Types; Cambridge, 1989 Eu, o Fernando Naufel, e Outras Pessoas Cujos Nomes Não Devem Ser Mencionados Agora passamos dias discutindo o que deveríamos pôr na ementa e na bibliografia... essa ementa reflete o que nós gostaríamos que o nosso Lógico Ideal soubesse - não necessariamente "soubesse muito bem", mas soubesse o suficiente pra se arriscar a fazer o concurso, e aí se inscrevesse, estudasse mais, tentasse se virar, etc. Reparem que essa ementa não tem uma ênfase muito grande em Teoria de Conjuntos - o livro do Kelley está na bibliografia por causa do apêndice (http://en.wikipedia.org/wiki/Morse-Kelley_set_theory), um dos itens da ementa é "Teoria de Modelos" e outro é ZFC e NBG, mas muitos itens são sobre lambda-cálculo, lógicas modais, coisas construtivas em geral, teorias de tipos, proof assistants... E nós pusemos na bibliografia os livros e artigos que nós gostamos mais e evitamos livros que viraram mais ou menos padrão, mas que têm más vibrações... o exemplo canônico disso é o "Curso de Análise, volume 2" do Elon Lages Lima - quem não se visualiza tendo um futuro cinzento numa universidade que põe o "Curso de Análise, volume 2" na bibliografia de um concurso? Por sinal: pode ser que a lista de tópicos esteja grande demais - vocês acham que isto assustaria alguns bons candidatos? Nós ficamos imaginando que cada ementa publicada de concurso tem várias conseqüências indiretas... os possíveis futuros candidatos começam a ver que os assuntos tais e tais podem ser importantes, e as pessoas que organizam os concursos seguintes pegam idéias das ementas e bibliografias dos concursos que já aconteceram... Bom, mais depois! Depois talvez eu mande uma mensagem com o blablablá de sempre, contando como Rio das Ostras é legal, como é longe o suficiente do Rio de Janeiro mas também não é longe demais, como o campus é bacaninha, o que nós estávamos fazendo nos seminários do nosso grupo de pesquisas (http://www.uff.br/llarc/) até logo antes de ficarmos sobregarregados com as aulas e com as tarefas administrativas - inclusive organização dos concursos - mas como é que daqui a pouco tudo deve ficar mais um pouco mais tranqüilo de novo... Então: inscrevam-se! Comentem! Etc! []s, buenas salenas, Eduardo Ochs [email protected] http://angg.twu.net/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
