Lógica Matemática
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
Outros Autores: | , |
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 |