Can I read Logique & informatique (Cahiers du Centre de Logique) on EtoBox?

Logique & informatique (Cahiers du Centre de Logique) by Thierry Lucas, Marcel Crabbé (éditeurs) is a nonfiction available to read on EtoBox.

What is Logique & informatique (Cahiers du Centre de Logique) about?

Couverture......Page 1 Titre......Page 3 Table des matières......Page 5 1. Introduction......Page 9 2. Preuves totalement non-constructives......Page 10 2.1. Preuves en analyse élémentaire......Page 11 2.2. Preuves dans le cadre d'une (grosse) théorie générale......Page 13 3. Preuves quasi-constructives......Page 14 3.1. Théorème finitiste du point presque fixe (version R2)......Page 15 3.2. Preuves combinatoires du théorème de Brouwer et algorithmes pour la recherche d'un point E-fixe......Page 20 3.2.1. Quelques algorithmes pour la recherche de points presque fixes......Page 23 3.2.2. Algorithme de Scarf......Page 25 3.2.3. Méthode de raffinement......Page 31 3.2.4. Méthodes de continuation......Page 34 4. Références......Page 36 1. Digital networks and switching theory......Page 39 1.1. Example......Page 40 1.2. Minimization methods......Page 41 1.3. Practical design of a logic circuit......Page 42 2.1. Introduction......Page 45 2.2.1.......Page 46 2.3. Example......Page 47 2.4. Proving programs correct......Page 48 3.1. Introduction......Page 49 3.2. Example......Page 50 4. References......Page 52 1. Introduction......Page 55 2.1. Définition......Page 56 2.3. Plongement de L_ e

Who reads Logique & informatique (Cahiers du Centre de Logique)?

Author

Thierry Lucas, Marcel Crabbé (éditeurs)

Publisher

Université Catholique de Louvain, Département de philosophie : Cabay

Published

1986

Language

FR

ISBN

9782870773642

Category

nonfiction