Resumo matematica discreta

Matemática Discreta para Computação e Informática P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Computação e Informática - P. Blauth Menezes 1 Matemática Discreta para Computação e Informática P. Blauth Menezes 1 2 3 4 5 6 7 8 9 10 11 Introdução e Conceitos Básicos Noções de Lógica e Técnicas de Demonstração Álgebra de Conjuntos Relações Funções Parciais e Totais Endorrelações, Ordenação e Equivalência Cardinalidade de Conjuntos Indução e Recursão Álgebras e Homomorfismos Reticulados e Álgebra Booleana Conclusões Matemática Discreta para Computação e Informática - P. Blauth Menezes 2 2 – Lógica e Técnicas de Demonstração 2.1 Lógica 2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposições Conetivos Fórmulas, Ling. Lógica e Tabelas Verdade Lógica nas Linguagens de Programação Tautologia e Contradição Implicação e Equivalência Quantificadores 2.2 Técnicas de Demonstração 2.2.1 Prova Direta 2.2.1 Prova por Contraposição 2.2.1 Prova por Redução ao Absurdo Matemática Discreta para Computação e Informática - P. Blauth Menezes 3 ♦ Lógica Matemática • básica para qq estudo em Computação e Informática • em particular, para estudo de Matemática Discreta ♦ Para desenvolver qq algoritmo (qq software) • necessários conhecimentos básicos de Lógica ♦ Existem linguagens de progr. baseadas em Lógica •…

E AUTOMAÇÃO Lógica e Matemática Discreta Disciplina/Carga: LÓGICA E MATEMÁTICA DISCRETA – 80 HORAS/AULA Professor: SUZANA LIMA DE CAMPOS CASTRO Semestre/Turno: 1º SEM – 2014-1 - Noturno Turmas: Objetivos da disciplina: Bibliografia Básica: • • • A Propiciar ao aluno o desenvolvimento do seu potencial de abstração, o aprimoramento de sua GERSTING, Judith L. Fundamentos matemáticos para a capacidade de formalização de ideias intuitivas. ciência da…

Objetos Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 1 de 21 Proposições? Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 2 de 21 Conceito de Proposições “Definição – Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.” pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002 Lógica para a…

LÓGICA II A importância da lógica nas diversas áreas do conhecimento Gleison José Oliveira Dornellas Código do Curso: 1199761 (Ead – Filosofia – 4º Sem.) Cataguases-MG 2012 I – Introdução A Lógica sempre teve um papel fundamental desde a Antiguidade, permeou a Idade Média, passou pela Idade Moderna e chega a nós ainda com muita relevância, embora as pessoas não notem, de modo geral. Mas, enfim, onde se esconde a Lógica? Influencia nossas vidas de fato?…

Ciências da Computação – 3º Semestre Matéria: Cálculo II Pesquisa: O Cálculo Diferencial e Suas Aplicações em Ciências da Computação Sumário 1 – Introdução ….................................................................................... 3 2 – História da Matemática …............................................................... 3 3 – História dos Computadores…

Campus: São Paulo Curso: Ciência da Computação PLANO de ENSINO DISCIPLINA CÓD. DISCIPLINA PROFESSOR Lógica e Matemática Discreta LOMAD Prof. Msc. Edmar Santos ANO/SEMESTRE CRÉDITOS CARGA HORÁRIA EM SALA DE AULA (H) CARGA HORÁRIA EM ESPAÇOS DIVERSIFICADOS (H) CARGA HORÁRIA EAD (H) CARGA HORÁRIA TOTAL (H) 2015/1 4 30 6 36 72 EMENTA Cálculo Proposicional, Lógica de Primeira Ordem, Conjuntos, Relações, Funções, Ordens Parciais e Totais, Álgebra Booleana, Estruturas Algébricas; PERFIL…

da lógica na Computação Bruno Silva Guedes 1 Leonardo Roveda Faganello 2 Matheus de Carvalho Proença3 Thiago Caberlon Santini 4 (artigo escrito para trabalho da disciplina INF05508 – Lógica para Computação) Resumo A lógica possui aplicações inesperadas em diversas áreas da Ciência da Computação. São sobre essas aplicações que o artigo On the Unusual Effectiveness of Logic in Computer Science versa. A lógica, que teoricamente é considerada derivada da Matemática, encontra…

A LÓGICA MATEMÁTICA NO SÉCULO XIX Visão geral sobre grandes nomes que contribuíram para a evolução matemática e computacional dos nossos dias. IFSP – Guarulhos 1º Semestre de 2014 Lógica Matemática Séc. XIX TDI – Tecnologia da Informação Prof.º Mestre Douglas Alunos: Andreson da Rocha Brito Cláudio Kobashigawa Cronograma  Corrente de Ideias, pensamentos e cálculos (Séc. XIX)  O que é lógica?  Visão Aristotélica  Leibniz – E sua discordância com Aristóteles …

Ciência da Computação Lógica Matemática Fernando Salles Claro Aula 00 – Apresentação da disciplina Agenda da Aula • • • • • • • • Apresentação do professor Apresentação da disciplina Bibliografias Processos de avaliação Datas importantes Lista de discussão Contrato pedagógico Passo a palavra 2 Apresentação do Professor • Nome: Fernando Salles Claro • Formação Acadêmica: ü 2014 – Mestrado em Eng. Mecânica – ênfase em Automação ü 2009 – MBA em…

Matemática Discreta: Atividade I Os princípios básicos da lógica foram bem compreendidos pelos filosófos e matemáticos da Grécia clássica e foi Aristotéles que sistematizou e definiu a lógica constituindo-a como uma ciência autónoma. Seus escritos foram reunidos em sua obra “Organon” ou “Instrumento da Ciência”. Quase dois mil anos depois Gottfried Leibniz um dos co-inventores do cálculo, trabalhou com o objetivo de criar uma linguagem simbólica de raciocínio que poderia ser usada…