11/01/2016 LÓGICA MATEMÁTICA. O homem pensa, possui o dom da palavra, é um animal racional, e é isto que o distingue dos outros animais.
|
|
- Sophia Alvarenga Santarém
- 6 Há anos
- Visualizações:
Transcrição
1 LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi LÓGICA O homem pensa, possui o dom da palavra, é um animal racional, e é isto que o distingue dos outros animais. O pensamento humano é alicerçado em saberes comuns, arte, direito, política, técnica, ciência e filosofia. 1
2 DISCIPLINA LÓGICA MATEMÁTICA Carga horária: 64 horas/aula Aulas: Segundas-feiras 19h00min às 23h00min Local: Bloco das engenharias Sala 07 CONTEÚDO PROGRAMÁTICO Introdução a lógica Argumento, proposição e predicado; Ferramentas da lógica: dedução e indução; Leis da lógica clássica. Cálculo proporcional Conectivos lógicos; Tabela verdade; Escrita lógica e escrita simbólica; Classificação de preposição: tautologia, contingência e contradição Equivalência e implicação lógica. CONTEÚDO PROGRAMÁTICO Cálculo de predicado Quantificadores; Construção de regras de predicado; Circuitos digitais Aplicação de lógica com PROLOG 2
3 FORMAS DE AVALIAÇÃO P1: Atividade de avaliação sobre introdução a lógica e cálculo proporcional; P2: Atividade de avaliação sobre cálculo de predicado e circuitos digitais; L1: Lista de exercícios sobre cálculos proporcionais; L2: Lista de exercícios sobre a aplicação de lógica com PROLOG. FORMAS DE AVALIAÇÃO P1: 3,0 pontos 22/02/2016 P2: 3,0 pontos 25/04/2016 L1: 2,0 pontos 21/03/2016 L2: 2,0 pontos 18/04/2016 Datas sujeitas a alterações. BIBLIOGRAFIAS ALENCAR FILHO, Edgard de. Iniciação à lógica Matemática. São Paulo: Nobel, IDOETA, Ivan V. & CAPUANO, Francisco G. Elementos de Eletrônica Digital. 28 ed. São Paulo: Érica, CERQUEIRA, Luiz Alberto; OLIVA, Alberto. Introdução a lógica. 2 ed. Rio de Janeiro: Zahar, p GERSTING. Fundamentos de Matemática para a ciência de computação. Rio de Janeiro: LTC, SOUZA, J. N. Lógica para Ciência da Computação. Campus,
4 LÓGICA Aristóteles diz que a lógica não era uma ciência teoria, prática ou produtiva, mas sim um instrumento para todas as ciências. Para a turma, o que é lógica? DEFINIÇÕES A lógica estuda os princípios e métodos usados para distinguir o raciocínio correto do incorreto. (Copi) A Lógica é a ciência que dirige, por meio de leis, as operações de nossa razão, para que ordenada, facilmente alcance a verdade. (Sinibaldi) DEFINIÇÕES Lógica é a ciência das leis do pensamento e a arte de aplicá-las corretamente na pesquisa e na demonstração da verdade. (R. Solivete) Lógica é a ciência do raciocínio. (Malba Tahan) 4
5 Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. LÓGICA MATEMÁTICA Consiste na formalização da argumentação para especificar de maneira precisa algo. Uma linguagem natural não serve para este propósito pois são complexas e em constante modificação. LÓGICA MATEMÁTICA OBJETIVOS DA LÓGICA: Estabelecer uma linguagem formal; Expressa com clareza e precisão; Emissão de juízo de verdade ou não. 5
6 LÓGICA MATEMÁTICA Deus é amor. O amor é cego. Stevie Wonder é cego. Logo, Stevie Wonder é Deus. EXERCÍCIOS DE LÓGICA LÓGICA MATEMÁTICA Qual a lógica da sequência dos números abaixo, e quem é representado por x? 2, 4, 4, 6, 5, 4, 4, 4, 4, x 2,4,4, 6,5, 4,4,4, 4,x x = 9 6
7 LÓGICA FILOSÓFICA Marcos está olhando a fotografia de alguém. Seu amigo pergunta quem é o homem do retrato. Marcos responde: Irmãos e irmãs eu não tenho, mas o pai deste cara é filho do meu pai. Quem está na fotografia? O homem olhava a foto do filho de Marcos. TESTES DE LÓGICA Você está numa cela onde existem duas portas, cada uma vigiada por um guarda. Existe uma porta que dá para a liberdade, e outra para a morte. Você está livre para escolher a porta que quiser e por ela sair. Poderá fazer apenas uma pergunta a um dos dois guardas que vigiam as portas. Um dos guardas sempre fala a verdade, e o outro sempre mente e você não sabe quem é o mentiroso e quem fala a verdade. Que pergunta você faria? Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria como sendo a porta da liberdade? TESTES DE LÓGICA Você é prisioneiro de uma tribo indígena que conhece todos os segredos do Universo e portanto sabem de tudo. Você está para receber sua sentença de morte. O cacique o desafia: "Faça uma afirmação qualquer. Se o que você falar for mentira você morrerá na fogueira, se falar uma verdade você será afogado. Se não pudermos definir sua afirmação como verdade ou mentira, nós te libertaremos. O que você diria? Afirme que você morrerá na fogueira. 7
8 OUTRAS DEFINIÇÕES Estudo do raciocínio; Estudo do pensamento correto e verdadeiro; Regras para demonstração científica verdadeira; Regras para pensamentos não-científicos; Regras sobre o modo de expor o conhecimento; Regras para verificação da verdade ou falsidade de um pensamento. O aprendizado da Lógica auxilia os estudantes no raciocínio, na compreensão de conceitos básicos, na verificação formal de programas e melhor os prepara para o entendimento do conteúdo de tópicos mais avançados. DEDUÇÃO OU INDUÇÃO ARGUMENTO DEDUTIVO Válido quando suas premissas se verdadeiras, a conclusão é também verdadeira. Todo homem é mortal. João é homem. CONCLUSÃO -> João é mortal. 8
9 DEDUÇÃO OU INDUÇÃO ARGUMENTO INDUTIVO A verdade das premissas não basta para assegurar a verdade da conclusão. É comum após a chuva ficar nublado. Está chovendo. CONCLUSÃO -> Ficará nublado. RELAÇÕES RACIOCÍNIO LÓGICO Um homem precisa atravessar um rio com um barco que possui capacidade de transportar apenas ele mesmo e mais uma de suas três cargas, que são: um lobo, um bode e uma caixa de alfafa. Indique as ações necessárias para que o homem consiga atravessar o rio sem perder suas cargas. O lobo não pode ficar sozinho com o bode, senão ele o come; O bode não pode ficar sozinho com a alfafa, senão a come. 9
10 RACIOCÍNIO LÓGICO Você precisa mover três discos de uma Torre de Hanói, que consiste em três hastes (a-b-c), uma das quais serve de suporte para três discos de tamanhos diferentes (1-2-3), os menores sobre os maiores. Pode-se mover um disco de cada vez para qualquer haste, contanto que nunca seja colocado um disco maior sobre um menor. O objetivo é transferir os três discos para outra haste. Eu aprendi pesquisando, que uma bússola aponta sempre para o norte, não importa onde estiver; mas não orienta sobre pântanos, desertos e abismos que você encontrará pelo caminho. Se na busca pelo seu destino, você vai de cabeça ignorando os obstáculos e acaba se afundando depois em pântano, de que adianta saber para onde fica o norte? Abraham Lincoln 9 X 1 = 9 9 X 2 = 18 9 X 3 = 27 9 X 4 = 36 9 X 5 = 45 9 X 6 = 53 9 X 7 = 63 9 X 8 = 72 9 X 9 =81 9 X 10 = 90 10
11 9 X 1 = 9 9 X 2 = 18 9 X 3 = 27 9 X 4 = 36 9 X 5 = 45 9 X 6 = 53 9 X 7 = 63 9 X 8 = 72 9 X 9 =81 9 X 10 = 90 11
LÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Apresentação da Disciplina Planejamento Conteúdo Programático Metodologia Bibliografia Definição Motivação Planejamento Semestre 2009.3 Local 3B5
Leia maisaula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:
aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
Leia maisBacharelado em Sistemas de Informação Disciplina: Lógica Matemática. Introdução à Logica Matemática. Prof.ª Dr.ª Donizete Ritter
Bacharelado em Sistemas de Informação Disciplina: Lógica Matemática Introdução à Logica Matemática Prof.ª Dr.ª Donizete Ritter 1 Ementa: Caracterização e histórico da Lógica Matemática; Estruturas Lógicas:
Leia maisMatemática Computacional. Introdução
Matemática Computacional Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles
Leia maisPROBLEMAS DE LÓGICA. Prof. Élio Mega
PROBLEMAS DE LÓGICA Prof. Élio Mega ALGUNS CONCEITOS DA LÓGICA MATEMÁTICA Sentença é qualquer afirmação que pode ser classificada de verdadeira (V) ou falsa (F) (e exatamente uma dessas coisas, sem ambiguidade).
Leia maisLógica Matemática. Definição. Origem. Introdução
Lógica Matemática Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles
Leia maisLógica Proposicional Semântica e Tabelas Verdade
Lógica Proposicional Semântica e Tabelas Verdade Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 30 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 30 de março de 2015 1 / 20 1 Introdução
Leia maisVERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO
ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à
Leia maisMatemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Leia maisn. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Leia maisQUESTÕES REVISÃO DE VÉSPERA FUNAI
QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:
Leia maisIniciação a Lógica Matemática
Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa
Leia maisLógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Leia maisUNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Leia mais18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está
Leia maisResumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;
Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;
Leia maisLógica Proposicional Fórmulas e Precedência de Operadores
Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução
Leia maisProf.Letícia Garcia Polac. 6 de abril de 2017
Fundamentos de Lógica e Conjuntos Prof.Letícia Garcia Polac Universidade Federal de Uberlândia UFU-MG 6 de abril de 2017 Sumário 1 EMENTA 2 BIBLIOGRAFIA 3 AVALIAÇÕES 4 INTRODUÇÃO EMENTA Ementa 1. Lógica
Leia maisINFORMÁTICA APLICADA AULA 01 ALGORITMOS
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: Bacharelado em Ciências e Tecnologia INFORMÁTICA APLICADA AULA 01 ALGORITMOS Profª ª Danielle Casillo O que é lógica? NOÇÕES DE LÓGICA A lógica trata da
Leia maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisAula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação
Leia maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Leia maisExercícios de lógica -sensibilização
Exercícios de lógica -sensibilização 1. Lógica matemática: Qual a lógica da seqüência dos números e quem é x? 2,4,4,6,5,4,4,4,4,x? 2. Charadas: lógica filosófica. Um homem olhava uma foto, e alguém lhe
Leia maisRACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS
1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica de Predicados. Correção dos Exercícios Regras de Inferência
Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados
Leia maisCOLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No.
COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia 65 Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. ROTEIRO DE RECUERAÇÃO ANUAL 2016 Data: / / FILOSOFIA 1º Ano do Ensino Médio 1º. O recuperando deverá
Leia maisLÓGICA I. André Pontes
LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.
Leia maisLÓGICA PARA COMPUTAÇÃO
LÓGICA PARA COMPUTAÇÃO Engenharia de Computação Professor: Rosalvo Ferreira de Oliveira Neto Apresentação Conteúdo Programático Referência bibliográfica Avaliações Dados pessoais Rosalvo Ferreira de Oliveira
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia maisAfirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.
Matemática Discreta ESTiG\IPB 2011.12 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação
Leia maisIII. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA
III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA 1. Argumentação e Lóg gica Formal 1.1. Distinção validade - verdade 1.2. Formas de Inferên ncia Válida. 1.3. Principais Falácias A Lógica: objecto de estudo
Leia maisLógica de Programação
Lógica de Programação Universidade dos Açores Departamento de Matemática www.uac.pt/~hguerra!! do Gr. logiké, arte de raciocinar!! s. f., ciência que tem por objecto o estudo dos métodos e princípios que
Leia maisProposições e Conectivos
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Leia maisLógica de Programação
Lógica de Programação Significa o uso correto das leis do pensamento e de processos de raciocínio para a produção de soluções logicamente válidas v e coerentes,, que resolvam com qualidade os problemas
Leia maisLógica Matemática e Computacional. 3.1 Relações lógicas de Euler
Lógica Matemática e Computacional 3.1 Relações lógicas de Euler Lógica Ciência dos argumentos; tem por objeto de estudo os argumentos, procurando elaborar procedimentos que permitam distinguir os argumentos
Leia maisUsando as regras de Morgan, de a negação das proposições:
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com EXERCÍCIOS Usando as regras de Morgan, de a negação das proposições: a) É falso que não está frio
Leia maisCurso Científico-Humanístico de Ciências e Tecnologias Filosofia - 11º A
Curso Científico-Humanístico de Ciências e Tecnologias 2011-2012 Filosofia - 11º A Silogismo 12/10/11 Silogismo categórico Premissa maior Todo o gato é mamífero Premissa menor Os siameses são gatos Conclusão
Leia maisPROGRAMA DE DISCIPLINA
MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE GOIÁS CAMPUS CATALÃO DEPARTAMENTO DE MATEMÁTICA PROGRAMA DE DISCIPLINA Av. Dr. Lamartine Pinto de Avelar, n o 1120 Setor Universitário Bloco J C.P. 536 CEP:
Leia maisDISCIPLINA: Laboratório de Sistemas Digitais para Computação 2ECOM.017
DISCIPLINA: Laboratório de Sistemas Digitais para Computação CÓDIGO: ECOM.017 Validade: a partir do 1º semestre de 007 Carga Horária: Total: 30 h/a Semanal: 0 aulas Créditos: 0 Modalidade: Prática Classificação
Leia maisUFMT. Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO
UFMT 1) IDENTIFICAÇÃO: Disciplina: Lógica Matemática e Elementos de Lógica Digital Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO Curso:
Leia maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Conteúdo Programático Unidade I Linguagens Formais Linguagens Formais Sigma Álgebras Relação entre Linguagens Formais e Sigma Álgebras Sigma Domínios
Leia maisExemplos de frases e expressões que não são proposições:
Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 1 Lógica: ramo da Filosofia que nos permite distinguir bons de maus argumentos, com o objectivo de produzirmos conclusões verdadeiras a partir de crenças
Leia maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisPlano de Ensino IDENTIFICAÇÃO. SEMESTRE ou ANO DA TURMA: 5º Semestre EMENTA
EIXO TECNOLÓGICO: Matemática Plano de Ensino IDENTIFICAÇÃO CURSO: Curso superior em Matemática/Licenciatura FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( ) bacharelado (x ) licenciatura ( )
Leia maisPlano de Ensino IDENTIFICAÇÃO
Plano de Ensino IDENTIFICAÇÃO EIXO TECNOLÓGICO: Informação e Comunicação CURSO: Tecnólogo em Sistemas para Internet FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( ) bacharelado ( ) licenciatura
Leia maisESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO
ESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO SEQUÊNCIA DIDÁTICA TEMA: PENSAMENTO LÓGICO 1-Título: Pensamento Lógico
Leia maisAgrupamento de Escolas General Humberto Delgado Sede na Escola Secundária/3 José Cardoso Pires Santo António dos Cavaleiros
Agrupamento de Escolas General Humberto Delgado Sede na Escola Secundária/3 José Cardoso Pires Santo António dos Cavaleiros CURSO CIENTÍFICO-HUMANÍSTICO SECUNDÁRIO Planificação Anual 2012-2013 FILOSOFIA
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisMINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DA PARAÍBA CAMPUS CAJAZEIRAS COORDENAÇÃO DO CURSO TÉCNICO EM INFORMÁTICA
MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DA PARAÍBA CAMPUS CAJAZEIRAS COORDENAÇÃO DO CURSO TÉCNICO EM INFORMÁTICA MATEMÁTICA I Nome: MATEMÁTICA I Curso: TÉCNICO EM INFORMÁTICA
Leia maissumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...
sumário 1 introdução e conceitos básicos 1 1.1 introdução à matemática discreta... 2 1.2 conceitos básicos de teoria dos conjuntos... 3 1.2.1 conjuntos...3 1.2.2 pertinência...5 1.2.3 alguns conjuntos
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 03 Programas (Monolítico e Iterativo) Prof.ª Danielle Casillo Programas, Máquinas e Computações Diferentes
Leia maisCIÊNCIA, TECNOLOGIA E SOCIEDADE. O que é Ciência?
CIÊNCIA, TECNOLOGIA E SOCIEDADE O que é Ciência? O QUE É CIÊNCIA? 1 Conhecimento sistematizado como campo de estudo. 2 Observação e classificação dos fatos inerentes a um determinado grupo de fenômenos
Leia maisApresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos
Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos e Construção de algoritmos: estruturas de controle Introdução
Leia maisCAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisAo utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Leia maisREVISÃO DE ESTUDO 28/01/2016 LÓGICA MATEMÁTICA REVISÃO. 01 Na lista de frases apresentadas a seguir, há três proposições? Se sim, apresente-as.
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com REVISÃO DE ESTUDO REVISÃO 01 Na lista de frases apresentadas a seguir, há três proposições? Se
Leia maisA METAFÍSICA E A TEORIA DAS QUATRO CAUSAS
A METAFÍSICA E A TEORIA DAS QUATRO CAUSAS O que é a metafísica? É a investigação das causas primeiras de todas as coisas existentes e estuda o ser enquanto ser. É a ciência que serve de fundamento para
Leia maisINSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Leia maisMatemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade
Leia maisRACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Leia maisVolume 2 Fascículo 2 Filosofia Unidade 3
Atividade extra Volume 2 Fascículo 2 Filosofia Unidade 3 Questão 1 A ideia de que, pela Ciência e pela técnica, o homem se converterá em senhor e possuidor da natureza está presente no pensamento do filósofo
Leia maisAlgoritmos e Técnicas. Lógica de Programação. É a técnica de encadear pensamento para atingir determinado objetivo.
Algoritmos e Técnicas Lógica de Programação É a técnica de encadear pensamento para atingir determinado objetivo. 1 Algoritmos - Conceitos Um algoritmo é uma seqüência de ações (passos) finitas, bem definidas,
Leia maisProfessor conteudista: Ricardo Holderegger
Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4
Leia maisCapítulo O objeto deste livro
Capítulo 1 Introdução 1.1 O objeto deste livro Podemos dizer que a Geometria, como ciência abstrata, surgiu na Antiguidade a partir das intuições acerca do espaço, principalmente do estudo da Astronomia.
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
Leia maisLÓGICA APLICADA - GST0049 LÓGICA APLICADA (20/10/2014) Perfil Docente Especialista em Matemática, preferencialmente com pós-graduação stricto sensu na
LÓGICA APLICADA - GST0049 LÓGICA APLICADA (20/10/2014) Perfil Docente Especialista em Matemática, preferencialmente com pós-graduação stricto sensu na área. Mestre ou Doutor em áreas afins. Experiência
Leia maisRACIOCÍNIO LÓGICO. Com o Prof. Paulo Henrique (PH)
RACIOCÍNIO LÓGICO Com o Prof. Paulo Henrique (PH) RACIOCÍNIO LÓGICO: (1) Questões Lógicas Sequências, reconhecimento de padrões, progressões aritmética e geométrica. Problemas de raciocínio: deduzir informações
Leia maisRaciocínio lógico matemático
Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.1: O que é a lógica? 1 Lógica Parte da filosofia que trata das formas do pensamento em geral e das operações intelectuais que visam determinar
Leia maisLógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...
Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1
Leia maisFilosofia (aula 9) Dimmy Chaar Prof. de Filosofia. SAE
Filosofia (aula 9) Prof. de Filosofia SAE leodcc@hotmail.com Lógica O problema lógico, embora para alguns possa parecer artificial, impõe-se por si. Ele surge logo que se nota que alguns conhecimentos
Leia maisResumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Leia mais2014/1S EP33D Matemática Discreta
014/1S EP33D Matemática Discreta Avaliação Substitutiva 01 Data: 1/05/014 Início: 13h00min Duração:,5 horas (3 aulas) INFORMAÇÕES: (i) a prova é individual; (ii) qualquer forma de consulta ou auxílio à
Leia maisUnidade: Proposições Logicamente Equivalentes. Unidade I:
Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente
Leia maisMatemática Discreta - 04
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 04 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisAEP FISCAL CURSO DE RACIOCÍNIO LÓGICO
AEP FISCAL CURSO DE RACIOCÍNIO LÓGICO Auditor Fiscal da Receita Federal do Brasil, Analista Tributário da Receita Federal do Brasil e Auditor Fiscal do Trabalho. Prof. Weber Campos webercampos@gmail.com
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisLinguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da
istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista
Leia maisCentro Federal de Educação Tecnológica de Santa Catarina Departamento de Eletrônica Eletrônica Básica. Prof. Clóvis Antônio Petry.
Centro Federal de Educação Tecnológica de Santa Catarina Departamento de Eletrônica Eletrônica Básica Metodologia Científica e Etapas do PI Prof. Clóvis Antônio Petry. Florianópolis, setembro de 2007.
Leia maisPROINTER Projeto Integrado IV
PROINTER Projeto Integrado IV Prof. Me. Érico Pagotto O que é Ciência? Organização de conhecimentos Conjunto de afirmações lógicas e relacionadas Tem um objeto ou campo definido Ex: Biologia, Sociologia,
Leia maisCURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA
CURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA Prof. Dra. Renata Cristina da Penha França E-mail: renataagropec@yahoo.com.br -Recife- 2015 MÉTODO Método, palavra que vem do
Leia maisIntrodução a Computação
O que é um computador? Um computador é uma coleção de componentes que realizam operações lógicas e aritméticas sobre um grande volume de dados. (F. K. Miyazawa) Um computador é composto por: Introdução
Leia maisLISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira
Leia maisA Importância da Lógica para o Ensino da Matemática
Universidade do Estado do Rio Grande do Norte FANAT - Departamento de Informática Faculdade de Ciências e Tecnologia Mater Christi Curso de Sistemas de Informação A Importância da Lógica para o Ensino
Leia mais1. Métodos de prova: Construção; Contradição.
Universidade Estadual de Santa Cruz Departamento de Ciências Exatas e Tecnológicas Bacharelado em Ciência da Computação Fundamentos Matemáticos para Computação 1. Métodos de prova: Construção; Contradição.
Leia maisIntrodução a Programação de Jogos IUE1503
Introdução a Programação de Jogos IUE1503 Aula 01 Introdução Prof. Augusto Baffa Engenharia da Computação O Engenheiro de Computação é um profissional de formação generalista, que
Leia maisNATUREZA DO CONHECIMENTO
NATUREZA DO CONHECIMENTO CONHECER E PENSAR Conhecer e pensar são uma necessidade para o ser humano e indispensável para o progresso. Sabemos que existimos porque pensamos. Se nada soubéssemos sobre o universo
Leia maisGFM015 Introdução à Computação. Algoritmos. Ilmério Reis da Silva UFU/FACOM
GFM015 Introdução à Computação Algoritmos Ilmério Reis da Silva ilmerio@facom.ufu.br www.facom.ufu.br/~ilmerio/ic UFU/FACOM Programa 1. Noções básicas sobre os componentes de micro computadores 2.Uso de
Leia maisLógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
Leia maisAula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisLP - Lógica de Programação
LP - Prof. Arnaldo M. Hidalgo Jr. arnaldo@flash.tv.br Prof. Rodrigo Ramos dos Santos rodrigo-etec@hotmail.com 5,0 h/a (2 aulas semanais) Currículo Graduado em Tecnologia em Processamento de Dados Unilins
Leia maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia mais