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: Biblioteca Digital de Teses e Dissertações do 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 Biblioteca Digital de Teses e Dissertações do UFSM
repository_id_str
spelling 2019-01-30T10:58:45Z2019-01-30T10:58:45Z2017BERTOLINI, 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/15482Material 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.porhttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessMatemáticaLógica MatemáticaCNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICALógica Matemáticainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/book1001001002006000e930b59-5b5d-406e-9b0c-cdc2a971a754b0a1d2ea-10a8-4755-aa18-911a9acabf5d97da1375-6c7e-469f-8aaf-9daff59d191fBertolini, CristianoCunha, Guilherme Bernardino daFortes, Patricia RodriguesBrasilreponame:Biblioteca Digital de Teses e Dissertações do UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSMORIGINALLicenciatura_Computacao_Logica_Matemtica.pdfLicenciatura_Computacao_Logica_Matemtica.pdfE-bookapplication/pdf2563239http://repositorio.ufsm.br/bitstream/1/15482/1/Licenciatura_Computacao_Logica_Matemtica.pdfeb39718da5f41751f990e0a28f554104MD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8914http://repositorio.ufsm.br/bitstream/1/15482/2/license_rdf24013099e9e6abb1575dc6ce0855efd5MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-81956http://repositorio.ufsm.br/bitstream/1/15482/3/license.txt2f0571ecee68693bd5cd3f17c1e075dfMD53TEXTLicenciatura_Computacao_Logica_Matemtica.pdf.txtLicenciatura_Computacao_Logica_Matemtica.pdf.txtExtracted texttext/plain104126http://repositorio.ufsm.br/bitstream/1/15482/4/Licenciatura_Computacao_Logica_Matemtica.pdf.txte557129f362ad5a2185272a5eeb12719MD54THUMBNAILLicenciatura_Computacao_Logica_Matemtica.pdf.jpgLicenciatura_Computacao_Logica_Matemtica.pdf.jpgIM Thumbnailimage/jpeg12525http://repositorio.ufsm.br/bitstream/1/15482/5/Licenciatura_Computacao_Logica_Matemtica.pdf.jpg304fac15c2b33c8e5bc5ce5a0231e342MD551/154822019-01-31 03:04:51.749oai:repositorio.ufsm.br:1/15482TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkNvbSBhIGFwcmVzZW50YcOnw6NvIGRlc3RhIGxpY2Vuw6dhLCB2b2PDqiAobyBhdXRvciAoZXMpIG91IG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgZGUgYXV0b3IpIGNvbmNlZGUgw6AgVW5pdmVyc2lkYWRlCkZlZGVyYWwgZGUgU2FudGEgTWFyaWEgKFVGU00pIG8gZGlyZWl0byBuw6NvLWV4Y2x1c2l2byBkZSByZXByb2R1emlyLCAgdHJhZHV6aXIgKGNvbmZvcm1lIGRlZmluaWRvIGFiYWl4byksIGUvb3UKZGlzdHJpYnVpciBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gKGluY2x1aW5kbyBvIHJlc3VtbykgcG9yIHRvZG8gbyBtdW5kbyBubyBmb3JtYXRvIGltcHJlc3NvIGUgZWxldHLDtG5pY28gZQplbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8gb3MgZm9ybWF0b3Mgw6F1ZGlvIG91IHbDrWRlby4KClZvY8OqIGNvbmNvcmRhIHF1ZSBhIFVGU00gcG9kZSwgc2VtIGFsdGVyYXIgbyBjb250ZcO6ZG8sIHRyYW5zcG9yIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbwpwYXJhIHF1YWxxdWVyIG1laW8gb3UgZm9ybWF0byBwYXJhIGZpbnMgZGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIHRhbWLDqW0gY29uY29yZGEgcXVlIGEgVUZTTSBwb2RlIG1hbnRlciBtYWlzIGRlIHVtYSBjw7NwaWEgYSBzdWEgdGVzZSBvdQpkaXNzZXJ0YcOnw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIGRlY2xhcmEgcXVlIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyDDqSBvcmlnaW5hbCBlIHF1ZSB2b2PDqiB0ZW0gbyBwb2RlciBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcwpuZXN0YSBsaWNlbsOnYS4gVm9jw6ogdGFtYsOpbSBkZWNsYXJhIHF1ZSBvIGRlcMOzc2l0byBkYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIG7Do28sIHF1ZSBzZWphIGRlIHNldQpjb25oZWNpbWVudG8sIGluZnJpbmdlIGRpcmVpdG9zIGF1dG9yYWlzIGRlIG5pbmd1w6ltLgoKQ2FzbyBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gY29udGVuaGEgbWF0ZXJpYWwgcXVlIHZvY8OqIG7Do28gcG9zc3VpIGEgdGl0dWxhcmlkYWRlIGRvcyBkaXJlaXRvcyBhdXRvcmFpcywgdm9jw6oKZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBwYXJhIGNvbmNlZGVyIMOgIFVGU00Kb3MgZGlyZWl0b3MgYXByZXNlbnRhZG9zIG5lc3RhIGxpY2Vuw6dhLCBlIHF1ZSBlc3NlIG1hdGVyaWFsIGRlIHByb3ByaWVkYWRlIGRlIHRlcmNlaXJvcyBlc3TDoSBjbGFyYW1lbnRlCmlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91IG5vIGNvbnRlw7pkbyBkYSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gb3JhIGRlcG9zaXRhZGEuCgpDQVNPIEEgVEVTRSBPVSBESVNTRVJUQcOHw4NPIE9SQSBERVBPU0lUQURBIFRFTkhBIFNJRE8gUkVTVUxUQURPIERFIFVNIFBBVFJPQ8ONTklPIE9VCkFQT0lPIERFIFVNQSBBR8OKTkNJQSBERSBGT01FTlRPIE9VIE9VVFJPIE9SR0FOSVNNTyBRVUUgTsODTyBTRUpBIEEgVUZTTQosIFZPQ8OKIERFQ0xBUkEgUVVFIFJFU1BFSVRPVSBUT0RPUyBFIFFVQUlTUVVFUiBESVJFSVRPUyBERSBSRVZJU8ODTyBDT01PClRBTULDiU0gQVMgREVNQUlTIE9CUklHQcOHw5VFUyBFWElHSURBUyBQT1IgQ09OVFJBVE8gT1UgQUNPUkRPLgoKQSBVRlNNIHNlIGNvbXByb21ldGUgYSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8gc2V1IG5vbWUgKHMpIG91IG8ocykgbm9tZShzKSBkbyhzKQpkZXRlbnRvcihlcykgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIGRhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbywgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBhbMOpbSBkYXF1ZWxhcwpjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgoKBiblioteca 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:51Biblioteca Digital de Teses e Dissertações do UFSM - Universidade Federal de Santa Maria (UFSM)false
dc.title.por.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
topic Matemática
Lógica Matemática
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA
dc.subject.cnpq.fl_str_mv 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.issued.fl_str_mv 2017
dc.date.accessioned.fl_str_mv 2019-01-30T10:58:45Z
dc.date.available.fl_str_mv 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.citation.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.
dc.identifier.uri.fl_str_mv http://repositorio.ufsm.br/handle/1/15482
dc.identifier.isbn.por.fl_str_mv 978-85-8341-184-0
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.relation.cnpq.fl_str_mv 100100100200
dc.relation.confidence.fl_str_mv 600
dc.relation.authority.fl_str_mv 0e930b59-5b5d-406e-9b0c-cdc2a971a754
b0a1d2ea-10a8-4755-aa18-911a9acabf5d
97da1375-6c7e-469f-8aaf-9daff59d191f
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.publisher.country.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do 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 Biblioteca Digital de Teses e Dissertações do UFSM
collection Biblioteca Digital de Teses e Dissertações do UFSM
bitstream.url.fl_str_mv http://repositorio.ufsm.br/bitstream/1/15482/1/Licenciatura_Computacao_Logica_Matemtica.pdf
http://repositorio.ufsm.br/bitstream/1/15482/2/license_rdf
http://repositorio.ufsm.br/bitstream/1/15482/3/license.txt
http://repositorio.ufsm.br/bitstream/1/15482/4/Licenciatura_Computacao_Logica_Matemtica.pdf.txt
http://repositorio.ufsm.br/bitstream/1/15482/5/Licenciatura_Computacao_Logica_Matemtica.pdf.jpg
bitstream.checksum.fl_str_mv eb39718da5f41751f990e0a28f554104
24013099e9e6abb1575dc6ce0855efd5
2f0571ecee68693bd5cd3f17c1e075df
e557129f362ad5a2185272a5eeb12719
304fac15c2b33c8e5bc5ce5a0231e342
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do UFSM - Universidade Federal de Santa Maria (UFSM)
repository.mail.fl_str_mv atendimento.sib@ufsm.br||tedebc@gmail.com
_version_ 1801485147077345280