00 exercicios enunciados

Exercícios de Lógica para Programação Ana Cardoso-Cachopo Fevereiro de 2013 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade 3 2 Lógica Proposicional — Sistema de Dedução Natural 4 3 Lógica Proposicional — Tabelas de Verdade 6 4 Lógica Proposicional — Resolução 7 5 Lógica Proposicional — BDDs 8 6 Lógica Proposicional — OBDDs 10 7 Lógica Proposicional — SAT 11 8 Lógica de Primeira Ordem — Representação; Sistema de Dedução Natural 13 9 Lógica de Primeira Ordem — Sistema Semântico 16 10 Lógica de Primeira Ordem — Resolução 20 11 Lógica de Primeira Ordem — Resolução SLD; Árvores SLD 22 12 Prolog — Árvores de Refutação; Listas 24 13 Prolog — Operadores Pré-definidos 26 14 Prolog — Corte; Negação 28 2 CONTEÚDO Prefácio Este documento contém uma compilação de exercícios para a disciplina de Lógica para Programação da LEIC. A maior parte dos exercícios foi criada por mim especificamente para as aulas práticas ou para as provas de avaliação da disciplina e outros foram tirados de livros ou artigos acerca da matéria em questão. Existem dois exercícios cujo enunciado foi feito pelo Professor João Pavão Martins nas aulas sobre os sistemas de dedução natural da lógica proposicional e da lógica de primeira ordem. Esses exercícios estão assinalados com a etiqueta (JPM). O Professor João Cachopo, para além de discutir comigo algumas das respostas dos exercícios, ajudou-me a fazer em LaTeX as figuras dos vários capítulos, tornando esta compilação (muito)

Ronimack Trajano LISTA DE EXERCÍCIOS – MAPA DE KARNAUGH Exercício 01: Dada a tabela verdade abaixo, pede-se: a) Determine a expressão booleana simplificada utilizando mapas de Karnaugh e, b) Apresente o circuito da expressão simplificada. A B C D Y1 A B C D Y1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1…

ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES I Circuitos Combinacionais Exercícios 1 FONTES: PSOCOMP e ENADE 2005 e 2008 prof. Dr. César Augusto M. Marcon prof. Dr. Edson Ifarraguirre Moreno / 27 Exercício 1 • (POSCOMP 2006 - 23) De acordo com o teorema de De Morgan, o complemento de X + Y . Z é: a. b. c. d. e. X+Y.Z X.Y+Z X. (Y + Z) X.Y.Z X.Y+Z / 27 Resposta Exercício 1 • (POSCOMP 2006 - 23) De acordo com o teorema de De Morgan, o complemento…

CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: Lógica de Programação Trabalho de Lógica DATA: 11/05/2012 Nome: Fabrício D. Freitas Trabalho de Lógica Nome: Fabrício Daniel Freitas Curso: Bacharelado em Ciência da Computação Disciplina: Lógica de Programação CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: Lógica de Programação Trabalho de Lógica DATA: 11/05/2012 Nome: Fabrício D. Freitas CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: Lógica de…

PROJETO LÓGICO DE COMPUTADORES FACULDADE DRUMMOND Operações Lógicas Introdução No início da era eletrônica, todos os problemas eram resolvidos por sistemas analógicos, também conhecidos por sistemas lineares, onde uma quantidade é representada por um sinal elétrico proporcional ao valor da grandeza medida. Introdução (cont.) Com o avanço da tecnologia, esses mesmos problemas começaram a ser solucionados através da eletrônica digital, onde uma quantidade é…

ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES I Circuitos Combinacionais Exercícios 2 POSCOMP e ENADE prof. Dr. César Augusto M. Marcon prof. Dr. Edson Ifarraguirre Moreno / 17 Exercícios 1. (POSCOMP 2002 - 23) Considere o circuito abaixo, implementado com duas portas NAND •. Qual das seguintes portas equivale a este circuito? a. b. c. d. e. NOT OR AND XOR NOR 2. (POSCOMP 2002 - 24) Considere o projeto de um circuito digital que implementa a função f com três variáveis de entrada e…

Conteúdo 3 Exercício 1: Considerando as afirmações abaixo, assinale a alternativa correta sobre máquinas multiníveis: I. É possível considerar a linguagem de máquina simples e de baixo nível e a linguagem voltada ao usuário de alto nível e complexa. II. Cada linguagem usa a sua linguagem antecessora como base, de modo que um computador que use essa técnica pode ser visto como um conjunto de camadas ou níveis. III. O fato de o programador não estar ciente de como o nível que ele está…

Caderno de Exercícios Resolvidos de Sistemas Digitais 2011 – 2012 Acácio Manuel Raposo Amaral Professor Adjunto do Departamento de Engenharia Informática e Sistemas do Instituto Superior de Engenharia de Coimbra Coimbra - Portugal Índice Caderno de Exercícios Resolvidos de Sistemas Digitais – DEIS-ISEC/IPC – 2011/2012 ____________________________________________________________________________ Índice 1- Sistemas de numeração 1.1 Problemas…

Exercícios de Java Exercícios para o curso de Lógica e Programação Java Desenvolvidos por Fernando Anselmo Este arquivo e de Distribuição Gratuita para todos os que desejam aprender a Linguagem de Programação Java Exercícios para o Curso de Lógica e Programação Java Conceitos Básicos Exercício 01. a) Acessar o site que contém os arquivos do curso b) Na seção “Projetos para realizar”, baixar o Projeto 1 – Robot c) Descompactar e executar o arquivo rodaRobo.bat e será mostrada a…

Programação Deise Saccol Lógica de programação Adaptado de slides das Profas. Patrícia Jaques e Mônica Py Lógica de programação ● LÓGICA DE PROGRAMAÇÃO: Técnica de encadear pensamentos para atingir determinado objetivo ●Necessária para desenvolver programas e sistemas, pois permite definir a seqüência lógica para a solução de um problema ● ● SEQÜÊNCIA LÓGICA: ? → 1. → 2. → 3. → ! Estes pensamentos podem ser descritos como uma seqüência de instruções, que devem ser…