Lógica Matemática

Detalhes bibliográficos
Autor(a) principal: Bertolini, Cristiano
Data de Publicação: 2017
Outros Autores: Cunha, Guilherme Bernardino da, Fortes, Patricia Rodrigues
Tipo de documento: Livro
Idioma: por
Título da fonte: Manancial - Repositório Digital da UFSM
Texto Completo: http://repositorio.ufsm.br/handle/1/15482
Resumo: Material Didático do NTE - Curso de Licenciatura em Computação
id UFSM_abf3fd26656e2c264765dc55bc802122
oai_identifier_str oai:repositorio.ufsm.br:1/15482
network_acronym_str UFSM
network_name_str Manancial - Repositório Digital da UFSM
repository_id_str
spelling Lógica MatemáticaMatemáticaLógica MatemáticaCNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICAMaterial Didático do NTE - Curso de Licenciatura em ComputaçãoA 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.Brasil2019-01-30T10:58:45Z2019-01-30T10:58:45Z2017info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookapplication/pdfBERTOLINI, 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.978-85-8341-184-0http://repositorio.ufsm.br/handle/1/15482porhttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessBertolini, CristianoCunha, Guilherme Bernardino daFortes, Patricia Rodriguesreponame:Manancial - Repositório Digital da UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSM2019-01-31T05:04:51Zoai:repositorio.ufsm.br:1/15482Biblioteca Digital de Teses e Dissertaçõeshttps://repositorio.ufsm.br/ONGhttps://repositorio.ufsm.br/oai/requestatendimento.sib@ufsm.br||tedebc@gmail.comopendoar:2019-01-31T05:04:51Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)false
dc.title.none.fl_str_mv Lógica Matemática
title Lógica Matemática
spellingShingle Lógica Matemática
Bertolini, Cristiano
Matemática
Lógica Matemática
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA
title_short Lógica Matemática
title_full Lógica Matemática
title_fullStr Lógica Matemática
title_full_unstemmed Lógica Matemática
title_sort Lógica Matemática
author Bertolini, Cristiano
author_facet Bertolini, Cristiano
Cunha, Guilherme Bernardino da
Fortes, Patricia Rodrigues
author_role author
author2 Cunha, Guilherme Bernardino da
Fortes, Patricia Rodrigues
author2_role author
author
dc.contributor.author.fl_str_mv Bertolini, Cristiano
Cunha, Guilherme Bernardino da
Fortes, Patricia Rodrigues
dc.subject.por.fl_str_mv Matemática
Lógica Matemática
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA
topic Matemática
Lógica Matemática
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA
description Material Didático do NTE - Curso de Licenciatura em Computação
publishDate 2017
dc.date.none.fl_str_mv 2017
2019-01-30T10:58:45Z
2019-01-30T10:58:45Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/book
format book
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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.
978-85-8341-184-0
http://repositorio.ufsm.br/handle/1/15482
identifier_str_mv 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.
978-85-8341-184-0
url http://repositorio.ufsm.br/handle/1/15482
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Brasil
publisher.none.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Manancial - Repositório Digital da UFSM
instname:Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
instname_str Universidade Federal de Santa Maria (UFSM)
instacron_str UFSM
institution UFSM
reponame_str Manancial - Repositório Digital da UFSM
collection Manancial - Repositório Digital da UFSM
repository.name.fl_str_mv Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)
repository.mail.fl_str_mv atendimento.sib@ufsm.br||tedebc@gmail.com
_version_ 1805922042012237824

Registros relacionados