Logique élémentaire : cours de base pour informaticiens

Main
Logique élémentaire : cours de base...

Logique élémentaire : cours de base pour informaticiens

Jacques Zahnd

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Anno:

1998

Casa editrice:

Presses Polytechniques et Universitaires Romandes (PPUR)

Lingua:

french

Pagine:

438

ISBN 10:

2880743605

ISBN 13:

9782880743604

File:

PDF, 2.94 MB

IPFS:

,

french, 1998

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Louis Couturat — L'algèbre de la logique

L Chambadal, J.L Ovaert — Cours de mathématiques : Notions fondamentales d'algèbre et d'analyse

Philippe Chartier, Even Loarer — Evaluer l'intelligence logique : Approche cognitive et dynamique

Aslangul C. — Physique statistique des fluides classiques

René David, Karim Nour, Christophe Raffalli, Pierre-Louis Curien — Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Jean Lemaitre; Jean-Louis Chaboche — Mechanics of solid materials

Lucien Chambadal — Calcul pratique - arithmétique et géométrie

Antoine Arnauld, Pierre Nicole — La logique, ou, L'art de penser

Cori R., Lascar D. — Logique mathematique, tome 1. Calcul propositionnel, algebre de Boole, calcul des predicats

Cori R., Lascar D. — Logique mathematique, tome 2. Fonctions recursives, theorie des modeles

Jean-Claude Dupin, Jean-Luc Valein — Introduction au raisonnement mathématique - logique et théorie des ensembles

Francois Rivenc — Introduction a la logique

André Fortin — Analyse numerique pour ingenieurs

Dennis McInerny — La logique facile

Serenella Cerrito — Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique

Graham, Knuth, Patashnik. — Mathematiques concretes: Fondations pour l'informatique

Jean-Christophe Buisson — Concevoir son microprocesseur : Structure des systemes logiques

Yves Bouchard — Calcul en logique du premier ordre

François Lepage — Eléments de logique contemporaine

Alain Jeanneret, Daniel Lines — Invitation à l'algèbre : Théorie des groupes, des anneaux, des corps et des modules

Paul Gochet, Pascal Gribomont — Logique, volume 1: méthodes pour l'informatique fondamentale

Paul Gochet, Pascal Gribomont — Logique, volume 2 : méthodes formelles pour l'étude des programmes

Thierry Lucas, Marcel Crabbé (éditeurs) — Logique & informatique (Cahiers du Centre de Logique)

Coulon — Introduction à l'électrotechnique

Daniel Mange — Analyse et Synthèse des systèmes logiques

André Delessert — Introduction à la logique

Heinrich Matzinger — Aide-mémoire d'analyse

Louis Frécon — Eléments de mathématiques discrètes

Jolissaint, Paul — Fonctions generatrices et relations de recurrence

Bruno Poizat — Cours de théorie des modèles : une introduction à la logique mathématique contemporaine

Jean-Blaise Grize — Logique Moderne, Fasc. 3 : Implications - Modalites, Logiques Polyvalentes, Logique Combinatoire, Ontologie Et Mereologie de Lesniewski

Grothendieck A., et al. — SGA 2: cohomologie locale des fasceaux coherents

N. Bourbaki — Séminaire Bourbaki, Vol. 46, 2003-2004, Exp. 924-937

Jean-Louis Laurière — Intelligence artificielle - Résolution de problèmes par l'homme et la machine

Henri Lombardi — Théories géométriques pour l’algèbre constructive

Daniel Barsky, Ghislain Dartois, Pascal Boyer — Cours de Cryptographie débutant

David Harari — Géométrie algébrique (2009/2010, 2013/2014)

Rouchdi Bahloul — Contributions à l’étude des idéaux de Bernstein-Sato d’un point de vue constructif [PhD thesis]

Bourbaki N. — Seminaire Bourbaki. Exposes 860-883, 894-903,909-956, 959, 962-966 (publ. par la SMF, collection Asterisque)

Nicolas Bouffard — Mathématiques discrètes

— Grothendieck Cohomologie locale des faisceaux coherents et theoremes de Lefschetz locaux et globaux SGA 2

— Seminaire Bourbaki, Exposes 860-883, 894-903,909-956, 959, 962-966 (publ. par la SMF, collection Asterisque)

Termini più frequenti

Liste di libri correlati