Fundamentos da Computação: Prof. Jorge Muniz BARRETO UFSC Dept. de Informática e De Estatística. Pós-Graduação em Ciência da Computacão UFSC-CTC-INE-CPGCC Introdução No início desta semana, creio útil me apresentar. A seguir pedirei aos participantes fazerem o mesmo. Tentarei guardar os nomes, mas, MIL DESCULPAS!!! Sou péssimo nisso. NATUREZA DO ASSUNTO • Fundamentos da computação é assunto de peso… • O professor da matéria precisa ser de peso também! (150kg) Programa • História da computação • Problemas: computabilidade, complexidade, máquina de Turing, computabilidade e complexidade conexionista. • Sistemas formais. • Lambda-cálculo, While-linguagens de Arbib. • Lógica • Linguagens formais; modelos cladísticos e de crescimento. • Automata; modelos de agentes, redes neurais e hipertexto MINI CURRÍCULO:J. M. Barrreto • Prof. Titular, UFSC, INE, Bélgica, CPGCC. • Pós-doutorado, UCL, Bélgica, 1981-1983. • Pós-doutorado, ULB, Bélgica, 1970-71. • Doutor em Ciências Aplicadas, ULB, Bélgica, 1970. • Mestre em Ciências, ENSA, Paris, 1964. • Engenheiro Eletrônico, IME/RJ, 1960. • Ex-professor titular UCL, 1989-1994. • Ex-assistente, Inst. Informática, FUNDP, Bélgica, 19831989. COMO ME CONTACTAR: • DURANTE O CURSO: de segunda a sexta, a partir da 17 horas, na instituição. • APÓS O CURSO: POR E-MAIL [email protected] Clip • CURRICULO DETALHADO: http://www.inf.ufsc.br/~barreto (ver curriculo formato CNPq) E agora: