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

DSpace Repository

A- A A+

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

Show simple item record

dc.contributor.author Sobral, João Bosco M.
dc.date.accessioned 2015-12-23T13:34:51Z
dc.date.available 2015-12-23T13:34:51Z
dc.date.issued 2015-12-23
dc.identifier.isbn 978-85-902995-2-3
dc.identifier.uri https://repositorio.ufsc.br/xmlui/handle/123456789/157316
dc.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. pt_BR
dc.description.abstract (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. pt_BR
dc.description.sponsorship recursos próprios; recursos do Departamento de Informática e Estatística da UFSC pt_BR
dc.language.iso pt_BR pt_BR
dc.relation.ispartofseries Pensamento Matemático @ Ciência da Computação;001-23122015
dc.subject história pt_BR
dc.subject matemática pt_BR
dc.subject lógica matemática pt_BR
dc.subject ciência da computação pt_BR
dc.subject fundamentos da matemática pt_BR
dc.subject sistemas formais pt_BR
dc.subject primórdios da matemática pt_BR
dc.subject álgebra na Europa pt_BR
dc.subject aritmética axiomatizada pt_BR
dc.title Dos Primórdios da Matemática aos Sistemas Formais da Computação pt_BR
dc.type Book pt_BR


Files in this item

Files Size Format View Description
teste-livro-1vFINAL.pdf 5.982Mb PDF View/Open conteúdo do livro Volume I, Série Pensamento Matmático @ Ciência da Computação

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics

Compartilhar