Particular
Descrição
Bom dia,
Procuro aulas de explicação online de matemática a nível universitário relativo a este tema:
" 1.3 Máquina de Turing e funções Turing-computáveis, e referência a outras abor dagens à computabilidade. Tese de Church
1.4 Codificacão dos programas URM. O método da diagonal e demonstracão de que existem funcões não computáveis. O teorema s-m-n.
1.5 Programas universais. Decidibilidade, total e parcial, e indecidibilidade,
2. Fundamentos Lógicos e Algébricos da Computação
2.1 Cálculo de Hoare e prova da correcção (parcial) de programas imperativos
2.2 Definição de funções por recursão. Prova da correção de programas recursivos utilizando o princípio de inducão (bem fundada)
2.3 Especificações equacionais de tipos de dados abstractos. Linguagem. Cálculo equacional. Reescrita. "
Obrigado.
Procuro aulas de explicação online de matemática a nível universitário relativo a este tema:
" 1.3 Máquina de Turing e funções Turing-computáveis, e referência a outras abor dagens à computabilidade. Tese de Church
1.4 Codificacão dos programas URM. O método da diagonal e demonstracão de que existem funcões não computáveis. O teorema s-m-n.
1.5 Programas universais. Decidibilidade, total e parcial, e indecidibilidade,
2. Fundamentos Lógicos e Algébricos da Computação
2.1 Cálculo de Hoare e prova da correcção (parcial) de programas imperativos
2.2 Definição de funções por recursão. Prova da correção de programas recursivos utilizando o princípio de inducão (bem fundada)
2.3 Especificações equacionais de tipos de dados abstractos. Linguagem. Cálculo equacional. Reescrita. "
Obrigado.
ID: 670627741
Contactar anunciante
xxx xxx xxx
Publicado 09 de maio de 2026
Procuro explicação online de matemática a nível universitário
Sob orçamento
Utilizador
Localização
