1- As Cartas a uma Princesa da Alemanha -------------------------------------------------

p.01

2- Digressão sobre CONDORCET ----------------------------------------------------------

p.03

3- Silogismo por EULER ---------------------------------------------------------------------

p.07

4- Intenção das Cartas -------------------------------------------------------------------------

p.25

Observações ------------------------------------------------------------------------------------

p.28

Reconhecimentos ------------------------------------------------------------------------------

p.30

Nota Complementar ( Jan. 84) ---------------------------------------------------------------

p.30

Referências e Notas ---------------------------------------------------------------------------

p.31

Personagens por Ordem de Citação de seus Legados -------------------------------------

p.35

Relações das Ilustrações ----------------------------------------------------------------------

p.36

Ilustrações ao Texto ---------------------------------------------------------------------------

p.37-38a b

1. Introdução -----------------------------------------------------------------------------------------

p.01

2 - A Geometria no 1º e 2º Graus -----------------------------------------------------------------

p.06

3. As Axiomáticas Geométricas e a Aprendizagem Elementar -------------------------------

p.14

4. A Situação nos Cursos de Matemática --------------------------------------------------------

p.27

5. O Tratamento Métrico Tipo Régua-Transferidor --------------------------------------------

p.36

     5.1- Evolução histórica da formulação -------------------------------------------------------

p.37

     5.2- Proposta do S.M.S.G. para a escola secundária ---------------------------------------

p.52

     5.3- Utilização e vantagens no curso superior -----------------------------------------------

p.63

     5.4- Dificuldades --------------------------------------------------------------------------------

p.66

     5.5- Críticas --------------------------------------------------------------------------------------

p.68

     5.6- Conclusão ----------------------------------------------------------------------------------

p.76

6. Sugestões Curriculares --------------------------------------------------------------------------

p.78

7. Bibliografia ---------------------------------------------------------------------------------------

p.85

Introdução --------------------------------------------------------------------------------------------

I

Capítulo I     -  Semi-Retas ------------------------------------------------------------------------

p.01

Capítulo II   - Sentido e Ordem -------------------------------------------------------------------

p.14

Capítulo III  -  Congruência e Equipolência ----------------------------------------------------

p.22

Capítulo IV  -  Soma e Simétrico -----------------------------------------------------------------

p.29

Capítulo V   -  Produto de Números Inteiros por Pontos --------------------------------------

p.43

Capítulo VI  -  Produto de Números Racionais por Pontos -----------------------------------

p.50

Capítulo VII -  Produto de Números Reais por Pontos ----------------------------------------

p.58

Nota I -------------------------------------------------------------------------------------------------

p.73

Nota II ------------------------------------------------------------------------------------------------

p.76

Nota III -----------------------------------------------------------------------------------------------

p.78

Prefácio -----------------------------------------------------------------------------------------------

i

I     -  Preliminares ----------------------------------------------------------------------------------

p.01

II    -  As Funções ð⁺_f,a e ð^-_{f,a ----------------------------------------------------------------------------------------------------------}

p.03

III   -  Propriedades da Função ð ------------------------------------------------------------------

p.11

IV   - A Função ð e Algumas Operações com Funções ----------------------------------------

p.37

V    -  Funções ð Duma Função Contínua -------------------------------------------------------

p.45

VI   -  Inversão de Funções ð ----------------------------------------------------------------------

p.59

VII  - Derivação de Funções ð --------------------------------------------------------------------

p.63

VIII - Integração das Funções ð ------------------------------------------------------------------

p.69

1. Introduction ---------------------------------------------------------------------------------------

p.01

2. Historical Remarks ------------------------------------------------------------------------------

p.02

3. Technical Developments ------------------------------------------------------------------------

p.05

    3.1 Work on da Costa’s systems and related topics -----------------------------------------

p.06

    3.2 Paraconsistent logics based on Jaskowski’s discusive logic ---------------------------

p.10

    3.3 Paraconsistent logic founded on relevant logic and, in general , reserch carried out in Australia (and New Zealand) --------------------------------------------------------------

p.13

    3.4 Other directions of research ----------------------------------------------------------------

p.15

4. Philosophical Issues -----------------------------------------------------------------------------

p.16

    4.1 Philosophy of Paraconsistent Logic ------------------------------------------------------

p.17

    4.2 Philosophical Motivations of Paraconsistent Logic-------------------------------------

p.23

5. Miscellaneous Topics ---------------------------------------------------------------------------

p.27

References -------------------------------------------------------------------------------------------

p.28

1. Séries de Fourier----------------------------------------------------------------------------------

p.01

2. A Geometria Euclideana dos Espaços de Hilbert --------------------------------------------

p.07

3. Estruturas Topológicas --------------------------------------------------------------------------

p.18

4. Métodos Algébricos -----------------------------------------------------------------------------

p.29

5. Fatorização de Operadores ---------------------------------------------------------------------

p.35

Bibliografia ------------------------------------------------------------------------------------------

p.49

Abstract ----------------------------------------------------------------------------------------------

p.01

Introdução -------------------------------------------------------------------------------------------

p.02

A lógica paraconsistente ---------------------------------------------------------------------------

p.04

O cálculo proposicional C_{1 -------------------------------------------------------------------------------------------------------------}

p.07

O cálculo C_{1 ---------------------------------------------------------------------------------------------------------------------------------------}

p.11

Teoria dos conjuntos paraconsistentes------------------------------------------------------------

p.13

Geometria paraconsistente -------------------------------------------------------------------------

p.14

Geometria afim finita (clássica) -------------------------------------------------------------------

p.16

Geometria afim finita (clássica) -------------------------------------------------------------------

p.20

Notas finais ------------------------------------------------------------------------------------------

p.24

Bibliografia ------------------------------------------------------------------------------------------

p.25

1.Introdução-------------------------------------------------------------------------------

p.01

2. Os Pioneiros da Análise e a Questão dos Infinitesimais -----------------------------

p.06

3. Geometrias Não-Euclidianas e Nova Concepção do Método Axiomático ---------------

p.10

4. A Aritmetização da Análise e o seu Instrumento: A Teoria Ingênua dos Conjuntos de Cantor --------------------------------------------------------------------------------

p.12

5. As Antinomias  Lógicas e Semânticas e a Grande Crise de Fundamentos na Viragem do Século. Russel, Brouwer, Zermelo e Hilbert Filosofias e Programas------------------

p.15

6. Os Metateoremas do Gödel. Programa de Hilbert Reconsiderado ---------------------

p.22

7. Computabilidade e Computação. Incremento da Combinatória, dos Métodos Numéricos e do Construtivismo ---------------------------------------------------------------

p.26

8. Outras Limitações dos Formalismos -----------------------------------------------

p.29

9. Reabertura da Questão dos Infinitesimais. A Análise Não-Standard de A. Robinson --

p.36

10. Novas Perspectivas para o Infinito Actual e a Matemática Não-Standard -------------

p.45

Notas -------------------------------------------------------------------------------------

p.51

Bibiliografia -------------------------------------------------------------------------------

p.61