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)

centígrados C=5/9(F-32) ● Volta de Apresentação ● Faça um programa que receba a temperatura em graus centígrados e transforme para farenheit c=5/9(f-32) ● Desvios Condicionais Desvio IF - Sintaxe IF ( expressão lógica ) THEN instruções END IF Exemplo program oddEven implicit none integer :: x write (*,*) "digite um número" read (*,*) x if(mod(x,2)==0) then write (*,*) "o número digitado é par" end if end program oddEven Exercício Fazer um programa que…

LÓGICA Módulos 1. 2. 3. 4. Introdução Lógica Fluxogramas Algoritmos – VisuAlg 5. Linguagem de Programação Algumas Perguntas... O que é Lógica? Como resolver problemas usando lógica? E as linguagens de programação? Quais são os passos? É difícil? ???.*.?..#..@.%??? Conceito de Problema Conceito de Problema Problema (Dicionário Michaelis): • Substantivo Masculino. • Questão matemática proposta para ser resolvida. • Questão difícil, delicada, suscetível…

Algoritmos e Lógica de Programação Exemplos e Exercícios Linguagem de Programação C++ 2º Semestre 2013 Sumário 1. Orientações sobre a Apostila ....................................................................................................... 3 2. Planejamento ............................................................................................................................... 4 3. Referência bibliográfica…

Curso: Redes de Computadores/ Tecnologia da Informação Disciplina: Lógica Matemática - Respostas da Lista de Exercícios Professor: Rosana Goncalves RESPOSTAS DA LISTA DE EXERCÍCIOS Resp. Pág. 2: Resp. Pág. 3: b) Escreva as expressões algébricas 1) (d.e) . (a+b.c) 2) c.(a+b).d 3) a.(a’+b.c) 4) (a.b)+(c.d) 5) (d.e) . (a+b.c) . f 6) a + (a’.b) .b + (a’ .c .b’) 7) [(a.b) + (a’.b)] + (a’. b’) 8) a+b+c+d Resp. Pág. 7 e 8: 1) x’y’z’ 2) x’y’z 3) x’y z 4) x’yz’ Curso: Redes de…

LÓGICA DE PROGRAMAÇÃO 1 INSTRUÇÕES A. A lista de exercícios deverá ser feita em grupo de cinco pessoas; B. Para cada exercício montar o Português Estruturado, Fluxograma e desenvolver o programa em C. C. Os programas em C deverão ser entregues impressos e anexados às folhas do Português Estruturado e Fluxograma que também podem ser entregues impressos. D. Trabalhos onde o código em C e o Português Estruturado não tiverem identação será descontado 1,0 ponto; E. Trabalho com…

LÓGICA MATEMÁTICA – LISTA DE EXERCÍCIOS – 1 - Prof. Ediberto 1. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: ( a ) O número 17 é primo. ( b ) Fortaleza é a capital do Maranhão. ( c ) Tiradentes morreu afogado. ( d ) Todo número divisível por 5 termina por 5. ( e ) O produto de dois números ímpares é um número ímpar. 2. Sejam as proposições p : Está frio e q : Está chovendo. Traduzir para a linguagem corrente as seguintes proposições: (a) ~p (b) pq …

1 LISTA DE EXERCICIOS DE LÓGICA MATEMATICA| 3/23/2011 Lista de Exercícios Lógica Matemática Prof. Daniel de Souza Gomes 1) Complete as seguintes tabelas da verdade? A B C AΛB FALSO FALSO FALSO FALSO FALSO FALSO VERDADERIO FALSO FALSO VERDADEIRO FALSO FALSO FALSO VERDADEIRO VERDADEIRO FALSO VERDADEIRO FALSO FALSO FALSO VERDADEIRO FALSO VERDADEIRO FALSO VERDADEIRO VERDADEIRO FALSO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO 2) Complete as linhas que estão em Branco A B C…

LÓGICA DE PROGRAMAÇÃO 1 INSTRUÇÕES A. A lista de exercícios deverá ser feita em dupla; B. Para cada exercício montar o Português Estruturado, Fluxograma e desenvolver o programa em C. C. Os programas em C deverão ser entregues impressos e anexados às folhas do Português Estruturado e Fluxograma que também podem ser entregues impressos. D. Trabalhos onde o código em C e o Português Estruturado não tiverem identação será descontado 1,0 ponto; E. Na capa do trabalho deverá…

INTRODUÇÃO À PROGRAMAÇÃO Carga Horária 72 h Código INF121 Pré-requisito - Teórico 3 Professor (a) Semestre Total 4 William Roberto Malvezzi 1/2012 Turma Data 26/01/2012 Ementa Algoritmos Estruturados: Conceituação, Refinamentos sucessivos. Elementos de Algoritmo: Constantes (numéricas, lógica, literal), Variáveis (formação dos identificadores, declaração de variáveis), Expressões aritméticas, lógicas e literais (funções, relações, operadores lógicos, prioridade,…