Prezado Eduardo, Para futuros concursos.
O que eu mais sinto falta nessa ementa é álgebra da lógica e álgebras de Boole, incluindo conjuntos ordenados e reticulados, com bibliografia clássica, tipo Birkhoff, Halmos, etc. As vezes esse tópico está em outras disciplinas, p.ex. matemática discreta. Carlos Gonzalez 2009/5/19 Eduardo Ochs <[email protected]>: > 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 > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
