Skip to main content
Side panel
Disciplinas »
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
English (en)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Search
Close
Search
Toggle search input
Acessar
PCS3556 - Lógica Computacional (2023)
Home
Courses
2023
EP
PCS
PCS3556-150-2023
Informações Gerais
Boas-Vindas!
Boas-Vindas!
lógica.mp4
Last modified: Monday, 4 January 2021, 12:08 PM
◄ Avisos
Jump to...
Jump to...
Avisos
Planejamento da Disciplina
Avisos
Fórum de notícias
Fórum de Discussões
Fórum social
Questões Éticas
Lista de Alunos Matriculados T1
Lista de Alunos Matriculados T2
Avaliação das Atividades em Sala
Notas atualizadas (com as atividades - não final)
Notas Finais
Tópico I: Conjuntos, linguagens
Slides utilizados (aulas iniciais)
Preliminares
Introdução: Noções de Matemática Discreta
Introdução: Lógica proposicional
Aula 1 de Lógica Computacional (2021)
Chat do encontro (PDF)
Aula 1 (2022)
Chat do encontro
Introdução: Princípio da Indução (para Aula 2)
Introdução: Técnicas de prova (para Aula 2)
Aula 2 (2021)
Chat do encontro
Palestra em 13/01/2022
Slides utilizados na palestra de 16/01/2023
Princípio da Casa de Pombos (para Aula 3)
Mais formalmente e com mais detalhes (IMPA) - (para Aula 3)
Conjuntos Infinitos (ou Transfinitos na denominação original de Cantor) - (para Aula 3)
Texto Manuscrito - PCP
Texto Manuscrito - Diagonal
Diagonal de Cantor - Exemplo
Aula 3 (2021)
Chat do encontro
PDF da Tela Interativa na Aula 3
Aula 4 (2021)
Chat do encontro
Tela interativa do encontro
Linguagens e Gramáticas
Aula 5 (2021)
Chat do encontro
Tela interativa do encontro
Palestra sobre Clojure - 06/02/2023
Chat da palestra
Tópico II: Linguagens Regulares
Autômatos de Estados Finitos (para Aula 6)
Linguagens Regulares (para Aula 6)
Autômatos de estados finitos não-determinísticos (para Aula 6)
Formalização de NFA (para Aula 6)
Autômatos Finitos Determinísticos
Autômatos Finitos Não-determinísticos
Aula 6 (2021)
Chat do encontro
Tela interativa do encontro
Aula 6 (2022)
Chat do encontro
PDF de Tela Interativa na Aula 6
Conversão NFA -> DFA (para Aula 7)
Autômato Finito com Transições Vazias (para Aula 7)
Conversão de um NFA com Transição Vazia -> NFA (para Aula 7)
Expressões Regulares (para Aula 7)
De Expressões Regulares para Autômatos Finitos (para Aula 7)
De Autômatos Finitos para Expressões Regulares (para Aula 7)
Gramáticas Regulares (para Aula 7)
Expressões Regulares x Linguagens regulares
Propriedades das LR
Gramáticas Regulares
Aula 7 (2022)
Chat do encontro
Aula 7 (2021)
Chat do encontro
Palestra sobre Elixir em 27/02/2023
Slides da Palestra
Chat da Palestra
Tópico III: Linguagens Livres de Contexto
Lema de Bombeamento (para Aula 8)
Minimização de Autômatos Finitos Determinísticos (para Aula 8)
Teorema de MyHill-Nerode (sobre autômato mínimo) - (para Aula 8)
Autômatos com Pilha - Introdução (para Aula 8)
Formalização do Modelo de Autômato com Pilha (para Aula 8)
Bombeamento LR
Exemplos - Bombeamento
Minimização de estados em AF -- em Português
Autômato de Pilha
Aula 8 (2021)
Chat do encontro
Gramáticas Livres de Contexto e Linguagens LC (para Aula 9)
Árvores de Derivação (para Aula 9)
Gramáticas Ambíguas (para Aula 9)
Autômatos de Pilha e Linguagens Livres de Contexto (para Aula 9)
De Autômato de Pilha para GLC (para Aula 9)
Gramáticas Livres de Contexto -- Árvores de derivação
PDA Accept Context Free
Context Free Properties
Aula 9 (2021)
Lema de Bombeamento para LLC (para Aula 10)
Simplificação de Gramáticas LC (para Aula 10)
Forma Normal de Chomsky (para Aula 10)
Conversão para a Forma Normal de Chomsky (para Aula 10)
Conversão para a Forma Normal de Greibach (para Aula 10)
DPDA
Context Free Pumping
Formas Normais
Parsers
Aula 10 (2021)
Chat do encontro
Tópico IV: Máquinas de Turing
Introdução (para Aula 11)
Máquinas de Turing (para Aula 11)
Funções na MT (para Aula 11)
Variações da Máquina de Turing (para Aula 11)
Turing Machines
Turing Functions
Turing Variations
Aula 11 (2021)
Chat do encontro
Tópico V: Tese de Church
Preparação - Tese de Church (para Aula 12)
Slides Tese de Church I - Recursão (para Aula 12)
Funções Recursivas Primitivas (para Aula 12)
Slides Tese de Church II - Recursão (para Aula 12)
Computação por Gramáticas (para Aula 12)
Máquina de Turing Universal (para Aula 12)
Other Models
Funções Recursivas Primitivas
Computação por Gramáticas
Universal Turing
Aula 12 (2021)
Tópico VI: Decidibilidade
Introdução ao Tema (para Aula 13)
Linguagens Decidíveis (para Aula 13)
Linguagens Não-Decidíveis (para Aula 13)
Redução de Problemas de Linguagem (para Aula 13)
Decidable
Undecidable
Decidability Reductions
Aula 13 (2022)
Aula 13 (2021)
Logicomix
Elixir - Introduction
Apresentação (PDF): Functional Programming With Elixir
Clojure - getting started
Apresentação: Introduction to Clojure
Palestra sobre Clojure -- 06/02/2020
Link para um video sobre programação funcional
Livro (HTML) sobre programação em Scheme "How to Design Programs"
Livro (HTML) "Structure and Interpretation of Computer Programs" (SICP)
Simulador de MT
Datomic
Link para o Livro: Clojure for the Brave and True
Link para o texto SICP em PDF
1a Lista de Exercícios
2a Lista de Exercícios
3a Lista de Exercícios
4a Lista de Exercícios
5a Lista de Exercícios
Link para o vídeo - parte 1
Link para o vídeo - parte 2
Infinormática
Artigo sobre os números transfinitos de Cantor
Texto do 1o EP
Entrega do 1o EP
Texto do 2o EP
Entrega do 2o EP
Texto do 3o EP
Automata - 1a referência do EP
Entrega do 3o EP
Texto do 4o EP
Entrega do 4o EP
Notas dos EPs
Exercícios de Aula 1 - Lab Avaliação
Exercícios de Aula 1
Palestra em 16/01/2022
Exercícios de Aula 2 - Lab Avaliação
Exercícios de Aula 2
Exercícios de Aula 3 - Lab Avaliação
Exercícios de Aula 3
Exercícios de Aula 4 - Lab Avaliação
Exercícios de Aula 4
Exercícios de Aula 6 - Lab Avaliação
Exercícios de Aula 6
Exercícios de Aula 7 - Lab Avaliação
Exercícios de Aula 7
Exercícios de Aula 8 - Lab Avaliação
Exercícios de Aula 8
Exercícios de Aula 9 - Lab Avaliação
Exercícios de Aula 9
Exercícios de Aula 10 - Lab Avaliação
Exercícios de Aula 10
Exercícios de Aula 11 - Lab Avaliação
Exercícios de Aula 11
Planejamento da Disciplina ►