Dos Primórdios da Matemática aos Sistemas Formais da Computação

Detalhes bibliográficos
Autor(a) principal: Sobral, João Bosco M.
Data de Publicação: 2015
Tipo de documento: Livro
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/157316
Resumo: Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
id UFSC_f6445ab6a1236ebd7fefd37d70947419
oai_identifier_str oai:repositorio.ufsc.br:123456789/157316
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Sobral, João Bosco M.2015-12-23T13:34:51Z2015-12-23T13:34:51Z2015-12-23978-85-902995-2-3https://repositorio.ufsc.br/xmlui/handle/123456789/157316Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.(0) Introdução (1) As Bases da Ciência da Computa cão,(2) As Origens: A Aritmética, (3) Os Números, (4) Os Números Primos, (5) Congruência e Aritm ética Modular, (6) Álgebra na Europa (7) A Lógica: de Leibniz a Boole, (8) Século XIX: Frege e a Lógica dos Predicados, (9) A Teoria dos Conjuntos, (10) Rela ções e Funcões, (11) Grupos e Corpos (12) Conjuntos e Enumera cão, (13) A Aritm ética nos Séculos XIX e XX, (14) Hilbert - Formalismo e os Sistemas Axiom áticos, (15) Gödel e os Limites dos Sistemas Formais, (16) Dos Fundamentos da Matemática aos Sistemas Formais, e (17) Os Sistemas Formais da Computa cão.recursos próprios; recursos do Departamento de Informática e Estatística da UFSCPensamento Matemático @ Ciência da Computação;001-23122015históriamatemáticalógica matemáticaciência da computaçãofundamentos da matemáticasistemas formaisprimórdios da matemáticaálgebra na Europaaritmética axiomatizadaDos Primórdios da Matemática aos Sistemas Formais da Computaçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALteste-livro-1vFINAL.pdfteste-livro-1vFINAL.pdfconteúdo do livro Volume I, Série Pensamento Matmático @ Ciência da Computaçãoapplication/pdf6272917https://repositorio.ufsc.br/bitstream/123456789/157316/1/teste-livro-1vFINAL.pdf5b1be298258976c22d64fa299b963cc6MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81383https://repositorio.ufsc.br/bitstream/123456789/157316/2/license.txt11ee89cd31d893362820eab7c4d46734MD52123456789/1573162015-12-23 11:34:51.785oai:repositorio.ufsc.br:123456789/157316Vm9jw6ogdGVtIGEgbGliZXJkYWRlIGRlOiBDb21wYXJ0aWxoYXIg4oCUIGNvcGlhciwgZGlzdHJpYnVpciBlIHRyYW5zbWl0aXIgYSBvYnJhLiBSZW1peGFyIOKAlCBjcmlhciBvYnJhcyBkZXJpdmFkYXMuClNvYiBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6IEF0cmlidWnDp8OjbyDigJQgVm9jw6ogZGV2ZSBjcmVkaXRhciBhIG9icmEgZGEgZm9ybWEgZXNwZWNpZmljYWRhIHBlbG8gYXV0b3Igb3UgbGljZW5jaWFudGUgKG1hcyBuw6NvIGRlIG1hbmVpcmEgcXVlIHN1Z2lyYSBxdWUgZXN0ZXMgY29uY2VkZW0gcXVhbHF1ZXIgYXZhbCBhIHZvY8OqIG91IGFvIHNldSB1c28gZGEgb2JyYSkuIFVzbyBuw6NvLWNvbWVyY2lhbCDigJQgVm9jw6ogbsOjbyBwb2RlIHVzYXIgZXN0YSBvYnJhIHBhcmEgZmlucyBjb21lcmNpYWlzLgpGaWNhbmRvIGNsYXJvIHF1ZTogUmVuw7puY2lhIOKAlCBRdWFscXVlciBkYXMgY29uZGnDp8O1ZXMgYWNpbWEgcG9kZSBzZXIgcmVudW5jaWFkYSBzZSB2b2PDqiBvYnRpdmVyIHBlcm1pc3PDo28gZG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMuIERvbcOtbmlvIFDDumJsaWNvIOKAlCBPbmRlIGEgb2JyYSBvdSBxdWFscXVlciBkZSBzZXVzIGVsZW1lbnRvcyBlc3RpdmVyIGVtIGRvbcOtbmlvIHDDumJsaWNvIHNvYiBvIGRpcmVpdG8gYXBsaWPDoXZlbCwgZXN0YSBjb25kacOnw6NvIG7Do28gw6ksIGRlIG1hbmVpcmEgYWxndW1hLCBhZmV0YWRhIHBlbGEgbGljZW7Dp2EuIE91dHJvcyBEaXJlaXRvcyDigJQgT3Mgc2VndWludGVzIGRpcmVpdG9zIG7Do28gc8OjbywgZGUgbWFuZWlyYSBhbGd1bWEsIGFmZXRhZG9zIHBlbGEgbGljZW7Dp2E6IExpbWl0YcOnw7VlcyBlIGV4Y2XDp8O1ZXMgYW9zIGRpcmVpdG9zIGF1dG9yYWlzIG91IHF1YWlzcXVlciB1c29zIGxpdnJlcyBhcGxpY8OhdmVpczsgT3MgZGlyZWl0b3MgbW9yYWlzIGRvIGF1dG9yOyBEaXJlaXRvcyBxdWUgb3V0cmFzIHBlc3NvYXMgcG9kZW0gdGVyIHNvYnJlIGEgb2JyYSBvdSBzb2JyZSBhIHV0aWxpemHDp8OjbyBkYSBvYnJhLCB0YWlzIGNvbW8gZGlyZWl0b3MgZGUgaW1hZ2VtIG91IHByaXZhY2lkYWRlLiBBdmlzbyDigJQgUGFyYSBxdWFscXVlciByZXV0aWxpemHDp8OjbyBvdSBkaXN0cmlidWnDp8Ojbywgdm9jw6ogZGV2ZSBkZWl4YXIgY2xhcm8gYSB0ZXJjZWlyb3Mgb3MgdGVybW9zIGRhIGxpY2Vuw6dhIGEgcXVlIHNlIGVuY29udHJhIHN1Ym1ldGlkYSBlc3RhIG9icmEuIEEgbWVsaG9yIG1hbmVpcmEgZGUgZmF6ZXIgaXNzbyDDqSBjb20gdW0gbGluayBwYXJhIGVzdGEgcMOhZ2luYS4KTGljZW7Dp2EgQ3JlYXRpdmUgQ29tbW9ucyAtIGh0dHA6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLzMuMC9ici8KRepositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732015-12-23T13:34:51Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Dos Primórdios da Matemática aos Sistemas Formais da Computação
title Dos Primórdios da Matemática aos Sistemas Formais da Computação
spellingShingle Dos Primórdios da Matemática aos Sistemas Formais da Computação
Sobral, João Bosco M.
história
matemática
lógica matemática
ciência da computação
fundamentos da matemática
sistemas formais
primórdios da matemática
álgebra na Europa
aritmética axiomatizada
title_short Dos Primórdios da Matemática aos Sistemas Formais da Computação
title_full Dos Primórdios da Matemática aos Sistemas Formais da Computação
title_fullStr Dos Primórdios da Matemática aos Sistemas Formais da Computação
title_full_unstemmed Dos Primórdios da Matemática aos Sistemas Formais da Computação
title_sort Dos Primórdios da Matemática aos Sistemas Formais da Computação
author Sobral, João Bosco M.
author_facet Sobral, João Bosco M.
author_role author
dc.contributor.author.fl_str_mv Sobral, João Bosco M.
dc.subject.por.fl_str_mv história
matemática
lógica matemática
ciência da computação
fundamentos da matemática
sistemas formais
primórdios da matemática
álgebra na Europa
aritmética axiomatizada
topic história
matemática
lógica matemática
ciência da computação
fundamentos da matemática
sistemas formais
primórdios da matemática
álgebra na Europa
aritmética axiomatizada
description Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
publishDate 2015
dc.date.accessioned.fl_str_mv 2015-12-23T13:34:51Z
dc.date.available.fl_str_mv 2015-12-23T13:34:51Z
dc.date.issued.fl_str_mv 2015-12-23
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 https://repositorio.ufsc.br/xmlui/handle/123456789/157316
dc.identifier.isbn.none.fl_str_mv 978-85-902995-2-3
identifier_str_mv 978-85-902995-2-3
url https://repositorio.ufsc.br/xmlui/handle/123456789/157316
dc.language.iso.fl_str_mv por
language por
dc.relation.ispartofseries.none.fl_str_mv Pensamento Matemático @ Ciência da Computação;001-23122015
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/157316/1/teste-livro-1vFINAL.pdf
https://repositorio.ufsc.br/bitstream/123456789/157316/2/license.txt
bitstream.checksum.fl_str_mv 5b1be298258976c22d64fa299b963cc6
11ee89cd31d893362820eab7c4d46734
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805034215931904

Registros relacionados