dc.creator | Bertolini, Cristiano | |
dc.creator | Cunha, Guilherme Bernardino da | |
dc.creator | Fortes, Patricia Rodrigues | |
dc.date.accessioned | 2019-01-30T10:58:45Z | |
dc.date.available | 2019-01-30T10:58:45Z | |
dc.date.issued | 2017 | |
dc.identifier.citation | BERTOLINI, Cristiano ... [et al]. Lógica matemática/UFSM. Cristiano Bertolini, Guilherme Bernardinho da Cunha, Patrícia Rodrigues Fortes - 1. ed. Santa Maria, RS: UFSM, NTE, UAB, 2017. | por |
dc.identifier.isbn | 978-85-8341-184-0 | por |
dc.identifier.uri | http://repositorio.ufsm.br/handle/1/15482 | |
dc.description | Material Didático do NTE - Curso de Licenciatura em Computação | por |
dc.language | por | por |
dc.rights | Acesso Aberto | por |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | * |
dc.subject | Matemática | por |
dc.subject | Lógica Matemática | por |
dc.title | Lógica Matemática | por |
dc.type | Livro | por |
dc.description.resumo | A lógica matemática é de fundamental importância para as linguagens de programação necessárias para a construção de programas de computador (softwares). É com base na lógica matemática que as linguagens de computador são descritas. Em lógica, uma linguagem de computador é dita como linguagem formal, pois o formalismo é dado pela representação matemática. A linguagem natural é um meio de comunicação utilizado no cotidiano das pessoas, por exemplo, Português, Inglês, Espanhol. Uma das características dessas linguagens é a ambiguidade, ou seja, uma sentença pode ser interpretada de diferentes formas. Em um sistema computacional não podemos ter ambiguidades; portanto, precisamos de mecanismos que permitam expressar os sistemas computacionais de forma não ambígua. A lógica é o fundamento mais básico desses sistemas e tem sido amplamente estudada. Tanto as linguagens naturais quanto as formais possuem sintaxe (como se escreve) e semântica (significado). No entanto, apenas linguagens formais são livres de ambiguidade. Para que isso seja possível, estudaremos, neste capítulo, os fundamentos da lógica matemática. Os fundamentos que veremos a seguir serão utilizados nas demais disciplinas no curso, principalmente naquelas que abordam linguagens de programação. Dessa forma, é de extrema importância o estudo da lógica clássica e, principalmente, da lógica proposicional. A lógica proposicional deverá ser compreendida e posteriormente será constantemente revista nas outras disciplinas. Entender a lógica proposicional capacitará o aluno a resolver problemas computacionais. | por |
dc.publisher.country | Brasil | por |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA | por |