$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

保存先:

書誌詳細
第一著者:	Cori, René.
その他の著者:	Lascar, Daniel, 1942-, Krivine, Jean-Louis, 1939-
フォーマット:	Livre
言語:	Français
出版事項:	Paris : Dunod, DL 2003.
シリーズ:	Sciences sup
主題:	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
要約:	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

類似資料

Logique moderne.
著者:: Grize, Jean Blaise, 1922-2013.
出版事項: (1971)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
著者:: Ponasse, Daniel.
出版事項: (1967)

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
著者:: Desclès, Jean-Pierre.
出版事項: (2010)

Models and ultraproducts : an introduction
著者:: Bell, John Lane.
出版事項: (1971)

La logique déductive : essai de présentation aux juristes
著者:: Kalinowski, Georges, 1916-2000.
出版事項: (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
著者:: Laboureur, Maurice.
出版事項: (1963)

Beginning logic
著者:: Lemmon, E. J.(
出版事項: (1990)

Algèbre : notions de base avec exercices corrigés
著者:: Noël, Roger, 1947-
出版事項: (2000)

Évènements, prédicats, arguments
著者:: Kupferman, Lucien.
出版事項: (2008)

Calcul différentiel pour la licence : cours, exercices et problèmes résolus
著者:: Donato, Paul, 1949-
出版事項: (2000)

Calcul différentiel
著者:: Cottet-Emard, François, 19..-...., mathématicien.
出版事項: (2019)

Calcul différentiel : une approche progressive et pratique enrichie de 215 exercices corrigés
著者:: El Amrani, Mohammed.
出版事項: (2019)

Mathématiques
著者:: Burg, Pierre, 1948-
出版事項: (2020)

Le tractatus : logique et métaphysique
著者:: Chauve, Alain.
出版事項: (2015)

Mathématiques : algèbre : 50 % cours + 50 % exos
著者:: Pilibossian, Philippe.
出版事項: (2005)

Mathématiques pour le DEUG, cours et exercices avec solutions
著者:: Liret, François.
出版事項: (1999)

Analyse. 2de année PC-PC*, PSI-PSI*
著者:: Beck, Bernard, 1952-
出版事項: (1999)

Mathématiques : Algèbre
著者:: Margirier, Jean-Paul.
出版事項: (1994)

Algèbre de Boole
著者:: Kuntzmann, Jean, 1912-1992.
出版事項: (1968)

Algèbre et analyse : cours de mathématiques de première année avec exercices corrigés
著者:: Balac, Stéphane.
出版事項: (2003)

Algèbre 2 : cours et 500 exercices corrigés : 2e année MP, PSI, PC, PT
著者:: Monier, Jean-Marie, 19..-
出版事項: (2000)

Algèbre 1re année : cours de mathématiques
著者:: Liret, François.
出版事項: (1997)

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

Exercices d'analyse : calcul intégral : exercices et exemples commentés avec rappels de cours
著者:: Boschet, Françoise.
出版事項: (1997)

Calcul différentiel : exercices et problèmes corrigés
著者:: Wagschal, Claude.
出版事項: (1999)

Calcul différentiel et calcul intégral 3e année : cours et exercices avec solutions
著者:: Chaperon, Marc.
出版事項: (2008)

Analyse mathématique schématisée.
著者:: Dameron, Jean-Claude.
出版事項: (1997)

Calcul différentiel : Cours et exercices
著者:: Grangé, Marcel.
出版事項: (2024)

Sémantiques
出版事項: (1998)

Algèbre : arithmétique pour l'informatique : cours & exercices corrigés
著者:: Wassef, Pierre.
出版事項: (2014)

Précis de mathématiques. Classes préparatoires, premier cycle universitaire
著者:: Guinin, Daniel.
出版事項: (1993)

Exercices de calcul intégral avec rappels de cours
著者:: Benoist, Joël.
出版事項: (1997)

Algèbre linéaire : mathématiques supérieures et premiers cycles scientifiques : exercices corrigés, conseils, précis de cours
著者:: Giraud, Xavier, 1963-
出版事項: (1994)

Tout-en-un mathématiques : PC PSI
著者:: Guinin, Daniel.
出版事項: (2014)

Analyse mathématique.
著者:: Godement, Roger, 1921-2016.
出版事項: (2002)

Précis de mathématiques. PCSI
著者:: Guinin, Daniel.
出版事項: (1996)

Exercices corrigés d'algèbre linéaire : résumé de cours et exercices corrigés
著者:: Etienne, Damien, 1976-
出版事項: (2006)

30 semaines de khôlles en mathématiques : C.P.G.E. 1re année
著者:: Maingueneau, Marie-Anne.
出版事項: (1998)

Mathématiques pour le DEUG, exercices corrigés
著者:: Prochasson, Dominique, 19..-...., mathématicien.
出版事項: (1999)

Algèbre et géométrie. 1re et 2e années, toute section
著者:: Desreux, Sébastien, 1973-
出版事項: (1998)

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