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:
Download

opening