La logique, pas à pas :: SCD d'Orléans

La logique, pas à pas

La logique, pas à pas

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Duparc, Jacques, 1962-
Médium:	Livre papier
Jazyk:	Français
Vydáno:	Lausanne : Presses polytechniques et universitaires romandes C 2015.
Témata:	Calcul des propositions Modalité (logique) Théorie de la démonstration Logique mathématique > Ouvrages de vulgarisation
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Gentzen calculi for modal propositional logic
Autor: Poggiolesi, Francesca, 1980-

Éléments de logique formelle
Autor: Chazal, Gérard, 1947-
Vydáno: (1996)

Logique mathématique
Autor: Pabion, Jean-François, 1942-
Vydáno: (1976)

Logique mathématique
Autor: Kleene, Stephen Cole, 1909-1994
Vydáno: (1987)

Logique. Méthodes pour l'informatique fondamentale
Autor: Gochet, Paul, 1932-2011, logicien, a další
Vydáno: (1990)

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
Autor: Devismes, Stéphane, 1979-, a další
Vydáno: (2012)

Manuel de logique : introduction à la logique des dialogues : exercices corrigés : manuel de logique
Autor: McConaughey, Zoé, 1991-
Vydáno: (2026)

Ecrits logiques
Autor: Herbrand, Jacques, 1908-1931, a další
Vydáno: (1968)

Notions de logique
Autor: Thiry, Philippe, 1949-
Vydáno: (1998)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
Autor: Vernant, Denis, 1948-
Vydáno: (2001)

La logique
Autor: Cohen, Gilles, 1951-2023, mathématicien
Vydáno: (2004)

Logique. Méthodes pour l'intelligence artificielle
Autor: Gochet, Paul, 1932-2011, a další
Vydáno: (2000)

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Notions de logique
Autor: Thiry, Philippe, 1949-
Vydáno: (2014)

Logique mathématique. Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices
Autor: Cori, René, mathématicien, a další
Vydáno: (1993)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
Autor: Loveland, Donald W., a další
Vydáno: (2014)

Logique et automates : option informatique en MPSI, MP et MP* : premier et deuxième cycles universitaires : écoles d'ingénieurs
Autor: Bellot, Patrick, 1968-, a další
Vydáno: (1998)

Preuves et réfutations : essai sur la logique de la découverte mathématique
Autor: Lakatos, Imre, 1922-1974
Vydáno: (1984)

Proof Theory : An Introduction
Autor: Pohlers, Wolfram

An introduction to modal logic
Autor: Hughes, George Edward, 1918-, a další
Vydáno: (1968)

Introduction à la logique
Autor: Leroux, Jean, 1948-
Vydáno: (1998)

Applied proof theory : proof interpretations and their use in mathematics
Autor: Kohlenbach, Ulrich, 1962-
Vydáno: (2008)

Applied proof theory : proof interpretations and their use in mathematics
Autor: Kohlenbach, Ulrich, 1962-

Modal logics
Autor: Feys, Robert, 1889-1961
Vydáno: (1965)

Theorems and counterexamples in mathematics
Autor: Gelbaum, Bernard R., 1922-2005, a další
Vydáno: (1990)

Specifying message passing and time-critical systems with temporal logic
Autor: Koymans, Ron, 1959-

Logique et complexité
Autor: Lassaigne, Richard, a další
Vydáno: (1996)

Les démonstrations : l'art de convaincre
Autor: Cohen, Gilles, 1951-2023, mathématicien
Vydáno: (2015)

Raisonnements divins
Autor: Aigner, Martin, 1942-2023, a další
Vydáno: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
Autor: Aigner, Martin, 1942-2023, a další
Vydáno: (2006)

Notions de logique
Autor: Thiry, Philippe, 1949-
Vydáno: (1996)

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

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
Autor: David, René, 1948-...., mathématicien, a další
Vydáno: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
Autor: David, René, 1948-2022, mathématicien, a další
Vydáno: (2004)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Autor: Buchholz, Wilfried, 1948-, a další

The logic of information structures
Autor: Wansing, Heinrich, 1963-

La référence vide : théories de la proposition
Autor: Libera, Alain de, 1948-
Vydáno: (2002)

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
Autor: Dix, Jürgen, 1961-

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
Autor: Pearce, David William, 1941-...., professeur d'économie

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

© 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