Logique mathématique. :: SCD d'Orléans

$Logique mathématique. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés$

Logique mathématique. cours et exercices corrigés 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats :

Guardat en:

Dades bibliogràfiques
Autors principals:	Cori, René, 1949-...., mathématicien, Lascar, Daniel, 1942- (Autor)
Altres autors:	Krivine, Jean-Louis, 1939- (Autor d'introducció, etc.)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Dunod DL 2003.
Col·lecció:	Sciences sup
Matèries:	Calcul des prédicats Boole, Algèbre de Calcul des propositions Manuels d'enseignement supérieur Problèmes et exercices
Nota:	Autres tirages : 2005, 2007, 2010, 2011, 2014, 2015, 2018, 2021
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Calcul propositionnel, algèbre de Boole, calcul des prédicats

Ítems similars

Logique mathématique. Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices
per: Cori, René, mathématicien, et al.
Publicat: (1993)

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
per: Devismes, Stéphane, 1979-, et al.
Publicat: (2012)

Éléments de logique formelle
per: Chazal, Gérard, 1947-
Publicat: (1996)

Logique mathématique
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1987)

Manuel de logique : introduction à la logique des dialogues : exercices corrigés : manuel de logique
per: McConaughey, Zoé, 1991-
Publicat: (2026)

Cours de mathématiques. Fonctions analytiques, équations différentielles et aux dérivées partielles, calcul symbolique, fonctions harmoniques, calcul des variations, abaques, algèbre de Boole
per: Bass, Jean, 1913-2007
Publicat: (1961)

Les fondements sémantiques du discours naturel
per: Gardies, Jean-Louis, 1925-2004
Publicat: (1994)

Two papers on the predicate calculus
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1967)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
per: Vernant, Denis, 1948-
Publicat: (2001)

Algèbre de Boole : théorie, méthodes de calcul, applications : avec exercices
per: Permingeat, Noël, et al.
Publicat: (1988)

Eléments de logique classique : avec exercices résolus et questionnaire d'examen
per: Mutombo, Marc
Publicat: (2003)

Cours de mathématiques supérieures appliquées (mathématiques modernes). Cours de calcul booléien appliqué (Notions sur les ensembles et les treillis, algèbres booléiennes, algèbre binaire).
per: Faure, Robert
Publicat: (1970)

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (1998)

Logique mathématique
per: Pabion, Jean-François, 1942-
Publicat: (1976)

Introduction à l'algèbre de Boole et aux dispositifs logiques
per: Hoernes, Gerhard E., et al.
Publicat: (1966)

Mathématique et automatique : logique, algèbres de Boole, circuits
per: Bosom, M., et al.
Publicat: (1969)

Introduction à la logique contemporaine
per: Blanché, Robert, 1898-1975
Publicat: (1969)

Introduction à la logique
per: Leroux, Jean, 1948-
Publicat: (1998)

L'algèbre de Boole et son utilisation
per: Flegg, H. Graham
Publicat: (1967)

The computational complexity of logical theories
per: Ferrante, Jeanne, 1949-, et al.

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (2014)

L'algèbre de la logique
per: Couturat, Louis, 1868-1914
Publicat: (1980)

Logique. Méthodes pour l'informatique fondamentale
per: Gochet, Paul, 1932-2011, logicien, et al.
Publicat: (1990)

Algèbre et topologie booléennes
per: Ponasse, Daniel, 19..-...., mathématicien, et al.
Publicat: (1979)

Boolean algebras
per: Sikorski, Roman, 1920-1983, mathématicien
Publicat: (1964)

Boolean algebras
per: Sikorski, Roman, 1920-1983, mathématicien
Publicat: (1969)

Lectures on Boolean algebras
per: Halmos, Paul Richard, 1916-2006, mathématicien
Publicat: (1963)

Introduction to boolean algebras
per: Givant, Steven R., 1943-, et al.

Algèbre de Boole et machines logiques
Publicat: (1967)

Algèbres de Boole : avec une introduction à la théorie algébrique des graphes orientés et aux "sous-ensembles flous" : suivi d'exercices
per: Serfati, Michel, 1938-2018
Publicat: (1974)

Logic and boolean algebra
per: Arnold, Bradford H., 1916-2012
Publicat: (1962)

Cours de mathématiques supérieures. Calcul différentiel et intégral : Eléments d'algèbre linéaire et de géométrie analytique
per: Bougrov, Iakov Stepanovich, 1927-, et al.
Publicat: (1983)

Structures ordonnées et algèbres de Boole
per: Faure, Robert, 1918-1982, mathématicien, et al.
Publicat: (1971)

Boolean algebra and its uses
per: South, G. F.
Publicat: (1974)

Probability theory on boolean algebras of events.
per: Onicescu, O.

Cours de mathématiques. Algèbre de Boole, matrices et tenseurs, intégrales simples, convergence uniforme, séries et intégrales de Fourier, fonctions de carré intégrable, courbes, surfaces, intégrales multiples
per: Bass, Jean, 1913-2007
Publicat: (1968)

Automatique, algèbre de Boole. Livret 2 : fonctions universelles
per: Degoulange, François, et al.
Publicat: (1973)

Tableau systems for first order number theory and certain higher order theories
per: Toledo, Sue Ann, 1940-
Publicat: (1975)

Le prédicat en question : objectifs d’enseignement, conception de la langue et choix d’une terminologie
per: Combettes, Bernard
Publicat: (2017)

Mathématiques pour une intelligence produite par une technique humaine : une I A peut être hors de contrôle
per: Pelat, Alain, 1939-
Publicat: (2022)

© 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