Please enable JavaScript to view the page content.
Logo da Universidade do Estado de Santa Catarina

TEC0001

TEORIA DA COMPUTAÇÃO
Informações da disciplina
  • Departamento: DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO CCT
  • Carga Horária Teórica: 36 horas/aula
  • Carga Horária Prática: 36 horas/aula
  • Créditos: 4

Ementa


Histórico e contextualização da Computação. Máquinas de Turing. Formalização do conceito de algoritmo. Problema da Parada. A Tese de Church-Turing. Indecidibilidade. Noções de Redutibilidade. Algoritmo/Máquina de Post. Algoritmo/Máquina de Markov. Máquina de Registradores. Lambda Calculus. Teoria das funções recursivas. Relações entre os modelos de computabilidade e suas equivalências.

 
ENDEREÇO
Av. Madre Benvenuta, 2007
Itacorubi, Florianópolis / SC
CEP: 88.035-901
CONTATO
Telefone: (48) 3664-8000
E-mail: contato@udesc.br
Horário de atendimento: 13h às 19h
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.

Utilizamos cookies para melhorar sua experiência de navegação no Portal da Universidade do Estado de Santa Catarina. Ao continuar navegando no Portal, você concorda com o uso de cookies.