[Logica-l] problema da parada
Como presente aos colegas lógicos, envio um poema instrutivo: A proof that the Halting Problem is undecidable --Geoffrey K. Pullum http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Teoria de probabilidades como lógica
Caros colegas da lista, Estou há pouco tempo estudando lógica e me interessei bastante na visão da Teoria de Probabilidades como extensão da lógica clássica, passível de ser usada em caso de incertezas. Tenho lido os livros do Carnap (de que gerei o djvu) e, principalmente de E. T. Jaynes (Probability Theory: the logic of sciente). Embora ache que o Jaynes seja muito duro com os filósofos¹, estou gostando bastante do livro e a abordagem dele me parece boa. Gostaria de saber a opinião dos listeiros sobre o livro ou sobre esse tipo de abordagem, bem como de receber indicações bibliográficas pertinentes (inclusive críticas, se for o caso). ¹ Conforme ilustrado por: Carnap was seeking the general inductive rule (i.e., the rule by which, given the record of past results, one can make the best possible prediction of future ones). But he suffered from one of the standard occupational diseases of philosophers; his exposition wanders off into abstract symbolic logic without ever considering a specific real example. So he never rises to the level of seeing that different inductive rules correspond to different prior information. It seems to us obvious, from arguments like the above, that this is the primary fact controlling induction, without which the problem cannot even be stated, much less solved; there is no ‘general inductive rule’. Yet neither the term ‘prior information’ nor the concept ever appears in Carnap’s exposition. -- []'s ...and justice for all. Ricardo Gentil de Araújo Pereira ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Feliz natal
Aos colegas lógicos, Cliquem no link para receber meu cartão de Natal http://www.jacquielawson.com/viewcard.asp?code=3188630304566source=jl999 PS - Sou eu mesma, Andréa, não é virus... Deixem-me provar - ou demonstrar :) - Tarski escreveu famosos artigos sobre a verdade - Godel escreveu tanto sobre a completude da lógica de primeira ordem quanto sobre a incompletude das aritméticas formalizadas - Somos todos incompletos e um tanto paraconsistentes... Então: provei? Podem clicar no link! Feliz Natal! Andrea ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] ABERTURA DE CONCURSO PÚBLICO PARA PROFESSOR ADJUNTO: Teoria da Computação
-- Forwarded message -- Informo que estão abertas as inscrições para o cargo de Professor Adjunto: Área de Matemática, Subáreas: Álgebra ou Teoria dos Números ou Geometria ou Análise ou Sistemas Dinâmicos, requisito básico: Doutorado em Matemática, regime de trabalho dedicação Exclusiva (DE), remuneração: R$ 7.333,67, vaga: 1 (uma), período: 12/12/2011 a 8/2/2012, Edital n. 550/2011 e Área de Matemática Aplicada, Subáreas: Probabilidade ou Otimização ou Análise Numérica ou Computação; requisito básico: Doutorado em Matemática ou em áreas afins, com tese em uma das subáreas do concurso, regime de trabalho dedicação exclusiva (DE), remuneração: R$ 7.333,67, vaga: 1 (uma), período: 12/12/2011 a 8/2/2012, Edital n. 554/2011 Inscrições: via Internet, no endereço eletrônico http://www.cespe.unb.br/** concursos/docentesunb http://www.cespe.unb.br/concursos/docentesunb. atenciosamente, __**_ Professores mailing list ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] FELIZ NATAL E CHANUKAH SAMEACH
Amigos, mestres e colegas, Na noite de hoje, nos lares trocam-se presentes. Alguns adornam a árvore de Natal em homenagem ao menino que nasce e outros ascendem mais uma vela na Chanukia. O espírito é o mesmo, o mesmo milagre da vida: que essa luz e essa criança possam nascer em cada um de nós e nos iluminar. Boas festas! http://www.youtube.com/watch?v=mb3ZEcJyE4A http://www.youtube.com/watch?v=sqKn5R0rtbw ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Logical Opposition - Beirut, Lebanon, June 2012
World Congress on the Square of Opposition III American University of Beirut, Lebanon, June 26-29, 2012 A multidisciplinary event with stars from the East and the West Deadline for submission of a contributed talk: January 21st 2012 http://www.square-of-opposition.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] obituário de Sir Michael Dummett
http://www.guardian.co.uk/world/2011/dec/28/sir-michael-dummett ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Documentário: Alta Ansiedade: A Matemática do Caos
A quem possa interessar: Alta Ansiedade: A Matemática do Caos Sinopse (do site Youtube): Documentário que analisa como o desenvolvimento da matemática nos últimos 40 anos mudaram completamente o entendimento do homem sobre a natureza e a sociedade. Ao relacionar a matemática com a economia e o clima, por exemplo, o documentário mostra como essa ciência é fundamental para responder questões fundamentais e revelar a verdade - por mais dura que seja - sobre o mundo em que vivemos. Links: 1/2) http://www.youtube.com/watch?v=X9q3svIBLMM 2/2) http://www.youtube.com/watch?v=uMc9x_hfEVY Site da BBC: http://www.bbc.co.uk/programmes/b00dzypr Site IMDb: http://www.imdb.com/title/tt1366335/ Paulo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] IJCAR 2012: 2nd Call for Papers
Repassando... * Apologies for multiple copies of this announcement * -- Second Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning Manchester, UK, June 26-July 1, 2012 http://ijcar.cs.manchester.ac.uk/ Important Dates (all in 2012) Abstract submission January 23Final version dueApril 16 Paper submission January 30Conference dates June 26-29 Notification March 26Satellite events June 30-July 1 IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 2012, the 6th International Joint Conference on Automated Reasoning, is a merger of leading events in automated reasoning: CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). Previous editions of IJCAR took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008) and Edinburgh (2010), cf. http:/ /www.ijcar.org/. IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan Turing Centenary Conference in Manchester. Scope: IJCAR 2012 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics, type theory, and set theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, efficient datastructures and indexing, integration of computer algebra systems and automated theorem provers, and combination of logics or decision procedures. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, natural language processing, linguistics, robotics, and planning. Submission: Submission is electronic through https://www.easychair.org/conferences/?conf=ijcar2012. Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers and 7 pages for system descriptions. All papers will be evaluated according to originality, significance, technical quality, and readability. Submitted papers must be original and not submitted for publication elsewhere. For more details concerning submission see the conference web site. The proceedings of IJCAR 2012 will be published by Springer-Verlag in the LNAI/LNCS series. Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be available in early 2012. Conference Chairs Konstantin Korovin, University of Manchester, UK Andrei Voronkov, University of Manchester, UK Program Chairs Bernhard Gramlich (TU Wien, Austria) Dale Miller (INRIA Saclay, France) Ulrike Sattler (University of Manchester, UK) Program Committee Takahito Aoto, Tohoku University, Japan Franz Baader, TU Dresden, Germany Peter Baumgartner, NICTA, ANU, Australia Maria Paola Bonacina, Università degli Studi di Verona, Italy Torben Braüner, Roskilde University, Denmark Michael Fink, TU Wien, Austria Jacques Fleuriot, University of Edinburgh, UK Silvio Ghilardi, Università degli Studi di Milano, Italy Jürgen Giesl, RWTH Aachen ,Germany Bernhard Gramlich, TU Wien, Austria Reiner Hähnle, Chalmers University of Technology, Sweden Florent Jacquemard, ENS de Cachan, France Deepak Kapur, University of New Mexico, Albuquerque, USA Yevgeni Kazakov, University of Oxford, UK Hélène Kirchner, INRIA Rocquencourt, France Konstantin Korovin, University of Manchester, UK Martin Lange, Universität Kassel, Germany Stéphane Lengrand, LIX, Ecole Polytechnique, France Christoph Lüth, DFKI Universität Bremen, Germany Carsten Lutz, Universität Bremen, Germany Christopher Lynch, Clarkson University, Potsdam, USA George Metcalfe, Universität Bern, Switzerland Dale Miller, INRIA Saclay, France Aleksandar Nanevski, IMDEA Software, Madrid, Spain Tobias Nipkow, TU München, Germany Hans de Nivelle, University of Wroclaw, Poland Albert
[Logica-l] Documentário: Alta Ansiedade: A Matemática do Caos (reenviando)
(envio novamente, pois não vi na lista) A quem possa interessar: Alta Ansiedade: A Matemática do Caos Sinopse (do site Youtube): Documentário que analisa como o desenvolvimento da matemática nos últimos 40 anos mudaram completamente o entendimento do homem sobre a natureza e a sociedade. Ao relacionar a matemática com a economia e o clima, por exemplo, o documentário mostra como essa ciência é fundamental para responder questões fundamentais e revelar a verdade - por mais dura que seja - sobre o mundo em que vivemos. Links: 1/2) http://www.youtube.com/watch?v=X9q3svIBLMM 2/2) http://www.youtube.com/watch?v=uMc9x_hfEVY Site da BBC: http://www.bbc.co.uk/programmes/b00dzypr Site IMDb: http://www.imdb.com/title/tt1366335/ Paulo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Fwd: Curso de Verão (Depto de Matemática): Homotopy Type Theory, por Peter Lumsdaine
A quem interessar possa As datas do curso de Peter Lumsdaine estão confirmadas para: 13 a 17 de Fevereiro 23 e 24 de Fevereiro Estarei dando umas aulas de introdução ao assunto na semana anterior: 8 a 10 de Fevereiro As aulas deverão ocorrer no Departamento de Matemática da UFPE, e a sala ainda está para ser confirmada. Ruy -- Mensagem encaminhada -- De: Ruy de Queiroz r...@cin.ufpe.br Data: 24 de novembro de 2011 22:58 Assunto: Curso de Verão (Depto de Matemática): Homotopy Type Theory, por Peter Lumsdaine Para: staff st...@cin.ufpe.br, posgrad posg...@cin.ufpe.br, grad-l gra...@cin.ufpe.br Como parte do Programa de Verão 2012http://www.ufpe.br/verao/index.php?option=com_contentview=articleid=315Itemid=243 (Departamento de Matemática – UFPE, 05 de Janeiro a 24 de Fevereiro de 2012), está confirmado o mini-curso sobre teoria dos tipos da homotopia, que pode interessar tanto a matemáticos quanto a cientistas da computação que trabalham com teoria dos tipos, semântica de linguagens de programação, provadores automáticos de teorema, e/ou teoria das categorias. Detalhes sobre inscrição podem ser obtidos por meio de solicitação por e-mail a verao2012.d...@ufpe.br Ruy --- Title: *Homotopy Type Theory* Instructor: Peter Lumsdaine http://mathstat.dal.ca/~p.l.lumsdaine/(Dalhousie University, Canada) 15 Feb 2012 - 24 Feb 2012 Abstract: These talks will provide an introduction to Homotopy Type Theory -- the exploration of a fascinating and fruitful connection between logic and algebraic topology that has emerged over the last few years. Dependent Type Theory is a logical system expressive enough to give a foundation for mathematics, but at the same time very well-suited to computer implementation. In particular, if provides the basic language of many proof assistants and formalisation systems -- in particular, Coq. For the most part, its connection to more traditional set-theoretic foundations is clear and well-understood, and moving between the two does not require too much change in technique. An exception to this is its treatment of equality, which seems considerably more subtle than in classical foundations (for reasons originally motivated by philosophical and computational considerations). The key idea of Homotopy Type Theory is that this strangeness is resolved if one considers types as corresponding not to classical sets, but to classical *spaces* (among which sets can still be discerned as the discrete spaces). The subtlety of equality can then be understood as coming from the behavious of *paths* within a space, and be tamed using the insights of modern algebraic topology. Practically, this opens up applications in both directions: tools and intuitions for working in the type theory on the one hand; and on the other hand, a very direct approach to the formalisation of algebraic topology. More philosophically, it gives a new and beautiful outlook on the universe of mathematics, with spaces investigated not indirectly as constructed models, but as fundamental objects of the language, as basic as sets are in the classical picture. Besides introducing the general setting, I will discuss Voevodsky's Univalence Axiom (a strengthening of standard universe axioms), the concept of h-level (homotopical dimension), and higher inductive types (a technique for presenting a wide class of spaces, including cell complexes, within the type theory). I'll use the Coq proof assistant for some exercises and examples. I won't assume previous familiarity with it, but I recommend getting it and trying out the interface beforehand. It's available from http://coq.inria.fr/, and there are several good introductions online; I recommend the first few exercises from http://www.cis.upenn.edu/~bcpierce/sf/toc.html. Warning: Coq can be dangerously addictive! (In the words of Andrew Appel: Coq is the world's best video game.) Much more reading (both light and heavy) on Homotopy Type Theory can be found at http://homotopytypetheory.org. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Artigo
Olá, pessoal Feliz Ano Novo. Gostaria de saber se alguém tem o artigo abaixo, onde se diz que Dov Gabbay defende uma forma de Psicologismo em lógica. Agradeço deste já. Dov Gabbay and John Woods. The New Logic. In Journal of the Interest Group in Pure and Applied Logic, Volume 9(2). Oxford, 2000. -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Fwd: [ATY/TCAC] Update - January 8, 2012
Feliz Ano Turing a todos! JM -- Forwarded message -- More exciting news (in order received) as the Alan Turing Year gets into its stride: (1) First some book news - The long anticipated re-publication of Sara Turing's biography of her son from Cambridge University Press is already on Amazon for pre-order. Entitled simply Alan M. Turing, it includes a new foreword from Martin Davis, plus the original moving tribute from Max Newman's wife Lyn Irvine. Also there is a historically fascinating, previously unpublished piece by John Turing written after his brother Alan's death in 1954. Expect an engrossing read. The CUP webpage: http://www.cambridge.org/aus/catalogue/catalogue.asp?isbn=9781107020580 Already published from Martin Davis (on December 13) is the 2nd edition of his excellent The Universal Computer: The Road from Leibniz to Turing. As the CRC blurb starts The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. There is some added coverage of Konrad Zuse for this new addition - see: http://bit.ly/y46sBz Another major publishing event is the US Centenary Edition of Andrew Hodges' Alan Turing: The Enigma from Princeton University Press: http://press.princeton.edu/titles/9779.html One more worth mentioning (more in the next update), also available for pre-order from Amazon, is Alan Turing: His Work and Impact: http://amzn.to/wEd7ba From publisher Elsevier: This new and exciting book, scheduled to publish for the 2012 centenary of Alan Turing's birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A. M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work. (2) Natasha Joska writes from Florida: I just want to add that there will be a special Turing Centennial Lecture by Grzegorz Rozenberg at the 18th DNA Computing and Molecular Programming conference in Aarhus, Denmark August 14--17th. See the conference webpage: http://dna18.au.dk/dna18/invited-speakers/ (3) Jean Paul Truc wrote: Thanks for your informations and happy new year too. I'll probably use somme of them (translated in french) in the next issue of our journal Quadrature (March\april). We are very pleased to associate Quadrature, and by the way our french-speaking readers, with the ATY celebration. We hope that the epetition will be signed by many people ; French people should be grateful to Alan Turing for the role he played during 2d world war at Bletchley Park. Much appreciated! (4) From Bob Lubarsky (more from Florida) - a reminder about the very special logic meeting he is organising, starting on January 13: http://math.fau.edu/richman/FAU2012.html I take the liberty of quoting Bob, since he echoes a comment from another distinguished gay mathematician, who thinks that the ATY has far too little from or for the gay community in evidence: I would not be surprised if this is the only time a gay logician will speak about being gay at an ATY event, as such topics typically don't fit into logic and CS meetings. It is hard to deny this. The reasons are complex, and little point in apportioning blame. But it would be nice to rectify. Suggestions gratefully received and collated for the next update. (5) Another nice piece of news from Paula Quinon: Hello, In Lund we organize a workshop devoted to Philosophy and Computation (for more details see: http://www.fil.lu.se/conferences/conference.asp?id=51lang=se), the event WAS inspired by the TURING CENTENARY celebration, and I was wondering if it could be counted as an official centenary event. An enthusiastic 'yes', of course. More info on this new ATY event at: http://www.fil.lu.se/conferences/conference.asp?id=51lang=se (6) For those finding all this a little too abstract - we have news via Kelsey Griffin from Bletchley Park of a much more 'hands on' event - Turing would have approved. Quoting from the new ATY Events entry: June 14, 2012: Software Craftsmanship 2012 returns to its spiritual home at Bletchley Park for a 3rd year for the Turing Centenary. The definitive international conference for the practicing software craftsman, SC2012 will bring together 250 passionate programmers to share ideas, practice their techniques and learn from each other. In aid of Bletchley Park, SC2012 will this year be celebrating the life and work of computing pioneer and codebreaker, Alan Turing, with a theme of Computer Science for Software Craftsmen. Participants will be encouraged to create and share coding exercises that explain data structures and algorithms while reinforcing good coding practices. The best exercises will be collected into a book aimed at self-taught programmers and computer science students alike. Organiser: Jason Gorman (7) From ATY Media
[Logica-l] A lista saiu do ar ?
Alguém está recebendo mensagem da lista logica-l ? Paulo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Agradecimentos pelo Festschrift
Agradeço aos caros amigos, em especial a Jean-Yves Béziau e Marcelo Coniglio, pela grata surpresa de organizarem um belíssimo livro em minha homenagem: Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday, College Publications, Londres, Dezembro de 2011. São 28 artigos, assinados por 48 autores, de 15 países: Inglaterra, Israel, Brasil, EUA, Austrália, Argentina, França, Venezuela, Finlândia, Japão, Polônia, Nova Zelândia, Portugal, Itália e Alemanha. Colaboraram vários dos meus melhores estudantes de Doutorado: Mamede Lima-Marques. João Marcos e Anderson de Araujo-- todos já eminentes profissionais - além de 45 outros colegas, incluindo Newton da Costa, orientador do meu Doutorado, meus co-autores Dick Epstein, Dov Gabbay, Sandra de Amo, Paulo Veloso, Luiz Carlos Pereira, Francisco Dória, Carlos di Prisco, Cristina Sernadas, Amilcar Sernadas, João Rasga e Marcelo Finger, parceiros de outros trabalhos como Oswaldo Chateaubriand e Daniele Mundici, além de Raymond Smullyan e Jakko Hintikka, com quem eu já mantinha correspondência há 30 anos!! E nem por que eu não os menciono nominalmente sao os demais menos importantes! Muito obrigado a todos, é um presente tocante! Walter -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] porão de Cantor
um wiki que não há de ter fim http://cantorsattic.info lógicos matemáticos são particularmente bem-vindos no porão de Cantor! (certamente que a Templeton Foundation vai gostar da iniciativa) * * * Climb into Cantor's Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity. Our site is organized into several large categories: The upper attic The upper attic is the realm of large cardinals and the higher infinite, extending from inaccessibility to inconsistency. The middle attic The middle attic surveys the infinite cardinals whose existence can be proved in, or is at least equiconsistent with, the ZFC axioms of set theory. The lower attic The lower attic classifies various large countable ordinals. The parlour Aspiring to the attic, the parlour contains the truly vast finite numbers. The playroom Enjoy the stimulating entertainments of the playroom, full of fun and paradox. The library Peruse the selections of our library, the central repository of all references cited here at Cantor's attic. The cellar Review the foundations of our subject with informative background presentations of ideas used throughout the attic. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Computação - USP: Concurso de Contratação em Tempo Parcial
Concurso de Contratação de Professor Doutor em Computação - USP - 2012 *** Novo Campus da USP em Santos *** *** O Docente pode ficar em São Paulo ou em Santos *** *** Contrato para 12 Horas Semanais com início em Fevereiro de 2012 *** *** Não se exige o Regime de Dedicação Integral à Docência e à Pesquisa *** *** As inscrições estarão abertas no período de 03/01 a 12/01/2012, nos dias úteis. *** Departamento de Ciência da Computação - IME - USP http://www.ime.usp.br/dcc *** Concurso O Departamento de Ciência da Computação do IME-USP abriu um concurso para a contratação de um docente por prazo determinado, como Professor Contratado III (Professor Doutor), recebendo o salário de R$ 1.423,29, em jornada de 12 horas semanais de trabalho, junto ao Departamento de Ciência da Computação. O docente será responsável por disciplinas a serem atribuídas pelo Departamento de Ciência da Computação, incluindo MAC2166 - Introdução à Ciência da Computação para Engenharia, a ser ministrada para o Curso de Engenharia de Petróleo em Santos, no 1º semestre de 2012. Mais informações sobre o Campus de Santos disponíveis em: http://www.usp.br/imprensa/wp-content/uploads/Destaque-49.pdf O Departamento é responsável pelo Bacharelado em Ciência da Computação, um dos mais concorridos da FUVEST, além de participar de disciplinas em vários cursos de graduação no campus da capital. O Departamento é igualmente responsável pela Pós-Graduação em Computação na USP em São Paulo e pelo Centro de Competência em Software Livre - CCSL (http://ccsl.ime.usp.br/). As provas escrita e didática versarão sobre o seguinte programa, baseado na disciplina MAC2166 - Breve história da computação. Computadores: unidades básicas, instruções, programa armazenado, endereçamento, programas em linguagem de máquina. Conceitos de linguagens algorítmicas: expressões, comandos seqüenciais, seletivos e repetitivos. Entrada e saída. Subprogramas: funções. Variáveis estruturadas: vetores e matrizes. Escopo de identificadores. Extensa prática de programação e depuração de programas. Mais informações podem ser encontradas em: https://sistemas.usp.br/jupiterweb/obterDisciplina?sgldis=mac2166nomdis= O Departamento possui atividades de pesquisa em várias áreas de computação, participando de projetos de destaque como Temáticos FAPESP, Pronex, INCTs e European Commission. Projetos e bolsas são regularmente mantidos pelo Departamento com financiamento FAPESP, CNPq, CAPEs e Finep, além de parcerias com a iniciativa privada e órgãos do governo. *** Inscrições e um convite As inscrições estarão abertas no período de 03/01 a 12/01/2012, nos dias úteis. O edital está disponível em: http://www.ime.usp.br/index.php?option=com_eventlistview=detailsid=596%3Aconcurso-professor-doutor-junto-ao-departamento-de-ciencia-da-computacaoItemid=668 Mais informações sobre o Edital (como prazos e documentação) e sobre as atividades de ensino, pesquisa, extensão, produção acadêmica e premiações do Departamento podem ser obtidas em http://www.ime.usp.br/dcc. Será um prazer receber os interessados em conhecer o Instituto e o Campus para um café, bastando entrar em contato: Email: d...@ime.usp.br OU ce...@ime.usp.br Fone: 0xx11 3091 6135 -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Fwd: [ATY] January 18 update
-- Forwarded message -- From: S Barry Cooper pmt6...@maths.leeds.ac.uk Date: Wed, Jan 18, 2012 at 11:16 AM Many thanks for all the feedback to the last email on updates - around 70 emails. Just a quick summary, and many apologies for not replying individually to all the interesting suggestions, and nice comments. I specially liked the comment from an editor for Nature: there will never be too much information about Turing! First, the 'bottom line' - around 23 votes for a weekly update, a handful of appreciative votes for 'as now', and some for daily, and some thinking outside the box - 'fortnightly', 'twice weekly'. So we'll try for weekly. Mark Cotton pointed out the amount of news will vary as the year hots up - certainly shows below. A number of requests for more categories/organisation (including for ATY website) - mainly asking for separate section for conferences. Various special requests - eg, suggestions for categories, such as 'Schools', 'geographical' - and will start by hiving off conference info (if not of specially wide interest) to section at bottom. Finally, should mention a *lot* of interesting suggestions re use of web - Facebook, RSS feed, Twitter, blogs, calendars, Wiki, Planets (venus) (what is this?). Plus offers of help, many thanks. Have to say, despite the neatness and niceness of various options - I'm not keen to put this info meant just for us - sometimes definitely not yet public, often not meant for the world to see, and not meant to be recorded for ever - out on the web. There are privacy options for some, of course. Also, I don't want to do anything adds to the work! And some of the options I don't know how to do! In the meantime, I've counted around 7 different ATY Facebook pages, at least 3 Turing centenary Twitter users (including @AlanTuringYear which is our official twitter feed, and supplements the update for those use twitter), and a number of blogs. But there are definitely some good ideas here, and obviously things like calendar, RSS, Wiki etc need looking at. Oh, and got a couple of requests for less commentary! so swiftly on to the update ... and as Mark observed, just in a week loads of news, things hotting up ... GENERAL INTEREST: 1) Alexandre Borovik tells us that the Alan Turing Centenary Cryptography Competition started officially on Monday 9th January and runs through until 16 April 2012. There are already over 170 teams registered at the Cryptography website, with over 500 participating students: http://www.maths.manchester.ac.uk/cryptography_competition_2012/ And, from Michael Kolling in Kent, a reminder that CAS (Computing at School) are running a Turing-themed programming competition to celebrate the ATY: http://www.computingatschool.org.uk/index.php?id=codebreaker 2) Must pass on the news that TCAC member Sue Black (@dr_black on Twitter) was voted 2011 top non-celebrity tweeter in the TECHNOLOGY section by The Independent! See: http://ind.pn/zDs9nG 3) For the Alan Turing commemorative postage stamp, there are now four excellent first-day covers in production by Bletchley Park Post Office: https://secure3.host-it.co.uk/bletchleycovers-co-uk/store/categories_detail.asp?catref=1 And we are told that Bletchley Park are about to unleash their 'media muscle' to publicise these. The first print of the 'non-traditional' one designed by Rebecca Peacock has already got a 'global response' and is nearly sold out: http://www.mathcomp.leeds.ac.uk/turing2012/Images/first-day.jpg Here is a nice picture of Rebecca (who also designed the superb poster for the CiE 2012 Turing Centenary Conference in Cambridge): https://twitter.com/#!/Firecatcher_uk/status/159271301335363584/photo/1 And the covers using the lovely watercolours by Steve Williams look great, and should also go very well too. See Turing sell out at: http://www.bletchleycovers.com/history/latest-news.asp 4) Robert Horn has told us about a remarkable series of posters on the theme: Can Computers Think? - 'an intellectual history of the Turing debate' - see: http://www.macrovu.com/CCTGeneralInfo.html Robert writes: They were were part of what is believed to be the first exhibit of Information Design as a Fine Art at the Stroom Museum, Amsterdam, and the University of Coventry Museum as well as receiving a review in Nature the same year. There are plans to get the whole series of 7 printed for use by event organisers - please let us know if interested. 5) More news on the Ingenuity and Innovation exhibition being organised by Turing Centenary Arts and Culture Cttee co-chair Anna Dumitriu, and opening in Brighton in February: http://www.lighthouse.org.uk/programme/intuition-and-ingenuity It seems that Anna and Bletchley Park are discussing the possibility of this imaginitive link to the Turing centenary being hosted for a period at Bletchley Park. Terry Mitchell from BP Post Office comments that they are very keen to promote art through Bletchley Park and organise a regular
Re: [Logica-l] Artigo
O artigo pode ser encontrado para download no seguinte endereço: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9046 Abraços, -- Samy Sá --- Doutorando em Ciência da Computação (MDCC/UFC), Professor Assistente, Tutor PET - TI Quixadá (TIQx) Universidade Federal do Ceará, Campus de Quixadá. --- Blog http://tiqx.blogspot.com/ | Twitterhttp://twitter.com/#%21/samyspsa ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Agradecimentos pelo Festschrift
Parabéns Walter pelos 23 anos reais e pelo livro. Idem aos organizadores. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 13/01/2012, às 19:31, Walter Carnielli walter.carnie...@gmail.com escreveu: Agradeço aos caros amigos, em especial a Jean-Yves Béziau e Marcelo Coniglio, pela grata surpresa de organizarem um belíssimo livro em minha homenagem: Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday, College Publications, Londres, Dezembro de 2011. São 28 artigos, assinados por 48 autores, de 15 países: Inglaterra, Israel, Brasil, EUA, Austrália, Argentina, França, Venezuela, Finlândia, Japão, Polônia, Nova Zelândia, Portugal, Itália e Alemanha. Colaboraram vários dos meus melhores estudantes de Doutorado: Mamede Lima-Marques. João Marcos e Anderson de Araujo-- todos já eminentes profissionais - além de 45 outros colegas, incluindo Newton da Costa, orientador do meu Doutorado, meus co-autores Dick Epstein, Dov Gabbay, Sandra de Amo, Paulo Veloso, Luiz Carlos Pereira, Francisco Dória, Carlos di Prisco, Cristina Sernadas, Amilcar Sernadas, João Rasga e Marcelo Finger, parceiros de outros trabalhos como Oswaldo Chateaubriand e Daniele Mundici, além de Raymond Smullyan e Jakko Hintikka, com quem eu já mantinha correspondência há 30 anos!! E nem por que eu não os menciono nominalmente sao os demais menos importantes! Muito obrigado a todos, é um presente tocante! Walter -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
