Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles - Image 1

£43.03

DUNOD Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Name: Logique mathematique - Tome 2 - Fonctions recursives, theoreme de Godel, theorie des ensembles: T 2 - Fonctions recursives, theoreme de Godel, theorie des ensembles
Brand: DUNOD
Price: 36.92 GBP
Availability: InStock

Mathematics

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (79 days, 88.8%)

Price range: £37 - £43

Price levels: 2 different prices over 89 days

Description

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'a la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.

Product Specifications

Brand: DUNOD
Format: paperback
ASIN: 2100807706
Category: Books > Subjects > Science, Nature & Maths > Mathematics
Domain: Amazon UK
Release Date: 04 February 2020
Listed Since: 14 November 2019

Barcode

No barcode data available

DUNOD Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Proof Theory and Logic Programming: Computation as Proof Search

Logic for Applications (Texts in Computer Science)

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Logic for Mathematicians

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic for Computer Science and Artificial Intelligence

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Mathematical Logic through Python

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

A First Journey through Logic (Student Mathematical Library)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)