Teoria da Computação
Aula I1
Prof. Diogo Soares Moreira
Link classe: https://shorturl.at/nwKMU
1
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Guias e Dicas
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Encontrar documentos
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Encontra documentos específicos para os exames da tua universidade
Encontra documentos específicos para os exames da tua universidade
Videoaulas
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Quiz
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Teoria da Computação, Exercícios de Cálculo Numérico
Uma introdução à teoria da computação, abordando tópicos como a importância dessa área, lógica formal, proposições, tabelas-verdade, regras de inferência e técnicas de prova. A descrição detalhada inclui exemplos e exercícios práticos, tornando-o um material valioso para estudantes que buscam compreender os fundamentos da computação. Com uma abordagem abrangente e didática, este documento pode ser utilizado como material de estudo, aulas, resumos e exercícios em disciplinas relacionadas à teoria da computação em cursos de graduação e pós-graduação.
Tipologia: Exercícios
2021
1 / 53
Esta página não é visível na pré-visualização
Não perca as partes importantes!
Documentos relacionados
Pré-visualização parcial do texto
Baixe Teoria da Computação e outras Exercícios em PDF para Cálculo Numérico, somente na Docsity!
Teoria da Computação
Aula I
Prof. Diogo Soares Moreira
Link classe: https://shorturl.at/nwKMU
Importância da Teoria da Computação
Software para modelar/checar o comportamento de circuitos digitais
Encontrar as ocorrências de palavras/frases em zilhões de páginas web
Descrever tags XML usando regex (ex.: child*)
Descrever LPs e DTDs
Identificar problemas Undecidable e Intractable
Revisão última aula
Lógica Formal
Fornece base o “pensamento organizado”
É análoga à lógica de circuitos ( true / false )
Tem 2 aplicações diretas em computação
Programação Lógica
Prova se programas estão corretos ou não
Lógica Formal
Proposições Atômicas : não podem ser divididas em
proposições mais simples
O servidor está desligado
Proposições Compostas : são combinações de
proposições atômicas via conectivos lógicos (e/ou/())
A rede está mal configurada ou o servidor está desligado
O valor verdade é determinado pelo valor verdade das
subproposições junto com a forma que os conecta
Proposições
Proposições
Negação
Tabela Verdade
Variável Resultado P ¬P True False False True
Conjunção (e)
Tabela Verdade
Variável Variável Resultado P Q True True True True False False False True False False False False
Tabela Verdade
Variável Variável Resultado P Q True True True True False False False True True False False True
Tabela Verdade
Variável Variável Resultado P Q True True True True False False False True False False False True
Afirmação Válida (Tautologia)
P ou not P Res
True False True False True True
Afirmação Válida (Tautologia)
Equivalência Lógica
Leis de equivalência lógica
Equivalência Lógica
Fórmula Lei
Idempotência
Associativa
Cumutativa
Distributiva
DeMorgan