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