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 |
| Author: | Sobral, João Bosco M. |
| 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. |
| 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. |
| URI: | https://repositorio.ufsc.br/xmlui/handle/123456789/157316 |
| Date: | 2015-12-23 |
Files in this item
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| teste-livro-1vFINAL.pdf | 5.982Mb |
View/ |
conteúdo do livro Volume I, Série Pensamento Matmático @ Ciência da Computação |
This item appears in the following Collection(s)
-
Pensamento Matemático @ Ciência da Computação [3]
Pensamento Matemático @ Ciência da Computação
