Clique se a página não carregar
-
Docente
Ricardo Luis de Azevedo da Rocha rlarocha@usp.br sala C2-30 Horário: Às quintas-feiras das 08h20 às 12h00
As aulas serão a distância, usando o e-Disciplinas, e o Google Meet.
Dinâmica da Aula
- Antes da aula: assista às videoaulas indicadas no e-Disciplinas e faça anotações.
- Nos primeiros 40 minutos da aula
- Entre na sala do Google Meet do professor para uma reunião inicial.
- Registre a presença no e-Disciplinas ao entrar na atividade “Presença” e clicar em “Registrar presença” da respectiva aula.
- O registro deve ser feito das 8h20 às 9h00.
- Entre na sala do Google Meet do professor para uma reunião inicial.
-
Um pequeno vídeo de boas-vindas aos estudantes da disciplina de Lógica Computacional.
-
Este fórum é aberto a todos, nele podem ser colocadas perguntas, sugestões e respostas a elas.
A cada tópico os participantes são instados a colaborar por meio de suas percepções, de temas correlatos, de questionamentos.
-
Acompanhamento
-
Tópico I: Conjuntos, linguagens
-
Preparação para Aula 1
-
Aula 1
-
Preparação para Aula 2
-
Aula 2
-
Preparação para Aula 3
-
Aula 3
-
Aula 4
-
Aula 5
-
Tópico II: Linguagens Regulares
-
Preparação para Aula 6
-
Aula 6
-
Preparação para Aula 7
-
Aula 7
-
Tópico III: Linguagens Livres de Contexto
-
Preparação para Aula 8
-
Aula 8
-
Preparação para Aula 9
-
Aula 9
-
Preparação para Aula 10
-
Aula 10
-
Tópico IV: Máquinas de Turing
-
Preparação para Aula 11
-
Aula 11
-
Tópico V: Tese de Church
-
Preparação para Aula 12
-
Aula 12
-
Tópico VI: Decidibilidade
-
Preparação para Aula 13
-
Aula 13
-
Materiais de Apoio
-
Atividades
-
P2
-
Exercícios em Aula - entrega no dia da aula