Sistemas para internet

Disponível somente no TrabalhosFeitos
  • Páginas : 90 (22473 palavras )
  • Download(s) : 0
  • Publicado : 14 de abril de 2013
Ler documento completo
Amostra do texto
Faculdades Pitágoras de Uberlândia
Sistemas de Informação

Disciplina:

Lógica Matemática e Computacional

Prof. Walteno Martins Parreira Júnior
www.waltenomartins.com.br waltenomartins@yahoo.com

2013

Lógica Matemática e Computacional

Sumário
0APRESENTAÇÃO............................................................................................................................................... 4 0.1 Metodologia da Disciplina ........................................................................................................................ 4 0.2 Visão geral da Disciplina .......................................................................................................................... 4 Objetivos da Disciplina............................................................................................................................. 4 0.3 0.4 Atividades em grupo: ................................................................................................................................ 4 0.5 Avaliação dos Alunos ................................................................................................................................ 4INTRODUÇÃO À LÓGICA ................................................................................................................................ 5 1.1 Origens ....................................................................................................................................................... 5 1.2 Conceitos preliminares............................................................................................................................. 5 1.2.1 – Proposição ................................................................................................................................................ 5 1.2.2 – As três leis do pensamento........................................................................................................................ 6 1.2.3 –Valores lógicos das proposições ............................................................................................................... 6 1.2.4 – Sentenças abertas ...................................................................................................................................... 7 1.2.5 – Proposições simples (atômicas)................................................................................................................ 7 1.2.6 – Conectivos lógicos.................................................................................................................................... 7 1.2.7 – Proposições compostas ............................................................................................................................. 7 1.3Tabelas-verdade e conectivos. .................................................................................................................. 8 1.3.1 – Operação Lógica Negação ........................................................................................................................ 9 1.3.2 – Operação LógicaConjunção..................................................................................................................... 9 1.3.3 – Operação Lógica Disjunção.................................................................................................................... 10 1.3.4 – Operação Lógica Condicional ................................................................................................................ 11 1.3.5 – Operação Lógica Bi-condicional............................................................................................................ 12 1.3.6 - Tabela Verdade dos conectores ............................................................................................................... 12 1.3.7 – Ordem De Precedência Dos Conectores ................................................................................................. 13...
tracking img