Introduction à la logique : :: SCD d'Orléans

$Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]$

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]

La 4e de couverture indique : "Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énonc...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autors principals:	David, René, 1948-2022, mathématicien, Nour, Karim, 19..- (Autor), Raffalli, Christophe, 19..- (Autor)
Altres autors:	Curien, Pierre-Louis, 1953- (Autor d'introducció, etc.)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Dunod DL 2004.
Edició:	2e édition.
Col·lecció:	Sciences sup
Matèries:	Logique symbolique et mathématique Logique intuitionniste Théorèmes > Démonstration automatique Raisonnement Manuels d'enseignement supérieur Problèmes et exercices
Nota:	Autres tirages : 2005, 2010, 2013, 2014, 2016, 2019, 2023
Autres localisations:	Voir dans le Sudoc

Ítems similars

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
per: David, René, 1948-...., mathématicien, et al.
Publicat: (2025)

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
per: Gabbay, Dov M., 1945-

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
per: Schaub, Torsten

Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
per: Galmiche, Didier, 1958-

The computer modelling of mathematical reasoning
per: Bundy, Alan R., 1947-
Publicat: (1983)

Using sophisticated models in resolution theorem proving
per: Sandford, David M., 19..-

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
per: Parigot, Michel, 1956-...., mathématicien

Symposium on automatic demonstration : held at Versailles-France, December 1968

Theory reasoning in connection calculi
per: Baumgartner, Peter, 1953-

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

A resolution principle for a logic with restricted quantifiers
per: Bürckert, Hans-Jürgen

Metamathematical investigation of intuitionistic arithmetic and analysis
per: Troelstra, Anne Sjerp

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
per: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
per: Voronkov, Andrei, 1959-

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Automated deduction in equational logic and cubic curves
per: McCune, William Walker, 1953-, et al.

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
per: Pfenning, Frank

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
per: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
per: Kakas, Antonis C.

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
per: McCune, William Walker, 1953-

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

Automated deduction in classical and non-classical logics : selected papers

Automated deduction : Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
per: McRobbie, Michael A., 1950-

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5 10, 1998 : proceedings

Isabelle : a generic theorem prover
per: Paulson, Lawrence C., 1955-...., informaticien

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

8th International conference on automated deduction : Oxford, England, July 27 August 1, 1986 : proceedings

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
per: Bundy, Alan R., 1947-

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June 7-11, 1999 : proceedings

Automated deduction : CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
per: Kapur, Deepak

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
per: Stickel, Mark E.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales