Fundamentos da Computa

1
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
2
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.

3
NATUREZA DO ASSUNTO

• Fundamentos da computação é assunto de peso
• O professor da matéria precisa ser de peso
  também!
• (150kg)

4
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

5
MINI CURRÍCULOJ. 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,
  1983-1989.

6
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
• barreto_at_inf.ufsc.br
• CURRICULO DETALHADO
• http//www.inf.ufsc.br/barreto
• (ver curriculo formato CNPq)

7
E agora