$Logique mathématique. cours et exercices corrigés$

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

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Cori, René.
Andre forfattere:	Lascar, Daniel, 1942-, Krivine, Jean-Louis, 1939-
Format:	Livre
Sprog:	Français
Udgivet:	Paris : Dunod, DL 2003.
Serier:	Sciences sup
Fag:	Calcul des prédicats Boole, Algèbre de Calcul propositionnel Manuels d'enseignement supérieur Problèmes et exercices
Autres localisations:	Voir dans le Sudoc
Summary:	Manuel de logique mathématique présentant successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés. ↑Electre 2022

Lignende værker

Logique moderne.
af: Grize, Jean Blaise, 1922-2013.
Udgivet: (1971)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
af: Ponasse, Daniel.
Udgivet: (1967)

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
af: Desclès, Jean-Pierre.
Udgivet: (2010)

Models and ultraproducts : an introduction
af: Bell, John Lane.
Udgivet: (1971)

La logique déductive : essai de présentation aux juristes
af: Kalinowski, Georges, 1916-2000.
Udgivet: (1996)

Cours d'exercices sur le calcul mathématique algébrique, différentiel & intégral : leçons de mathématiques à l'usage des ingénieurs
af: Laboureur, Maurice.
Udgivet: (1963)

Beginning logic
af: Lemmon, E. J.(
Udgivet: (1990)

Algèbre : notions de base avec exercices corrigés
af: Noël, Roger, 1947-
Udgivet: (2000)

Évènements, prédicats, arguments
af: Kupferman, Lucien.
Udgivet: (2008)

Calcul différentiel pour la licence : cours, exercices et problèmes résolus
af: Donato, Paul, 1949-
Udgivet: (2000)

Calcul différentiel
af: Cottet-Emard, François, 19..-...., mathématicien.
Udgivet: (2019)

Calcul différentiel : une approche progressive et pratique enrichie de 215 exercices corrigés
af: El Amrani, Mohammed.
Udgivet: (2019)

Mathématiques
af: Burg, Pierre, 1948-
Udgivet: (2020)

Le tractatus : logique et métaphysique
af: Chauve, Alain.
Udgivet: (2015)

Mathématiques : algèbre : 50 % cours + 50 % exos
af: Pilibossian, Philippe.
Udgivet: (2005)

Mathématiques pour le DEUG, cours et exercices avec solutions
af: Liret, François.
Udgivet: (1999)

Analyse. 2de année PC-PC*, PSI-PSI*
af: Beck, Bernard, 1952-
Udgivet: (1999)

Mathématiques : Algèbre
af: Margirier, Jean-Paul.
Udgivet: (1994)

Algèbre de Boole
af: Kuntzmann, Jean, 1912-1992.
Udgivet: (1968)

Algèbre et analyse : cours de mathématiques de première année avec exercices corrigés
af: Balac, Stéphane.
Udgivet: (2003)

Algèbre 2 : cours et 500 exercices corrigés : 2e année MP, PSI, PC, PT
af: Monier, Jean-Marie, 19..-
Udgivet: (2000)

Algèbre 1re année : cours de mathématiques
af: Liret, François.
Udgivet: (1997)

Algèbre de Boole : Utilisation pour la simplification des circuits logiques : cours programmé.
Udgivet: (1971)

Exercices d'analyse : calcul intégral : exercices et exemples commentés avec rappels de cours
af: Boschet, Françoise.
Udgivet: (1997)

Calcul différentiel : exercices et problèmes corrigés
af: Wagschal, Claude.
Udgivet: (1999)

Calcul différentiel et calcul intégral 3e année : cours et exercices avec solutions
af: Chaperon, Marc.
Udgivet: (2008)

Analyse mathématique schématisée.
af: Dameron, Jean-Claude.
Udgivet: (1997)

Calcul différentiel : Cours et exercices
af: Grangé, Marcel.
Udgivet: (2024)

Sémantiques
Udgivet: (1998)

Algèbre : arithmétique pour l'informatique : cours & exercices corrigés
af: Wassef, Pierre.
Udgivet: (2014)

Précis de mathématiques. Classes préparatoires, premier cycle universitaire
af: Guinin, Daniel.
Udgivet: (1993)

Exercices de calcul intégral avec rappels de cours
af: Benoist, Joël.
Udgivet: (1997)

Algèbre linéaire : mathématiques supérieures et premiers cycles scientifiques : exercices corrigés, conseils, précis de cours
af: Giraud, Xavier, 1963-
Udgivet: (1994)

Tout-en-un mathématiques : PC PSI
af: Guinin, Daniel.
Udgivet: (2014)

Analyse mathématique.
af: Godement, Roger, 1921-2016.
Udgivet: (2002)

Précis de mathématiques. PCSI
af: Guinin, Daniel.
Udgivet: (1996)

Exercices corrigés d'algèbre linéaire : résumé de cours et exercices corrigés
af: Etienne, Damien, 1976-
Udgivet: (2006)

30 semaines de khôlles en mathématiques : C.P.G.E. 1re année
af: Maingueneau, Marie-Anne.
Udgivet: (1998)

Mathématiques pour le DEUG, exercices corrigés
af: Prochasson, Dominique, 19..-...., mathématicien.
Udgivet: (1999)

Algèbre et géométrie. 1re et 2e années, toute section
af: Desreux, Sébastien, 1973-
Udgivet: (1998)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1