10% OFF

Mathématiques De L'Informatique - Cours Et Exercices Corrigés : Cours Et Exercices Corrigés

by Patrick Dehornoy
language: french
Publisher: DUNOD, January of 2000 ‧
47,09€
10% OFF CARD
free shipping
Cet ouvrage, destiné en priorité aux étudiants de second cycle de mathématiques, intéressera également un public plus large : enseignants de mathématiques pratiquant l'informatique et désireux d'en approfondir les bases théoriques, étudiants ou ingénieurs en informatique intéressés par les aspects mathématiques de leur discipline. Centré sur les notions de calcul et de définition, ce cours est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. Les principaux développements concernent les automates, les langages algébriques, la calculabilité effective et la complexité des algorithmes, la logique booléenne et les logiques du premier ordre, dont les définitions et propriétés élémentaires usuelles sont exposées. L'approche proposée est résolument mathématique et souligne une orientation générale tournée vers la théorie. Une attention spéciale a été portée à la rigueur et à la précision de la rédaction, en particulier dans les démonstrations. Cent cinquante exercices d'application et de complément sont proposés, dont plus de la moitié avec un corrigé rédigé.

Mathématiques De L'Informatique - Cours Et Exercices Corrigés : Cours Et Exercices Corrigés

by Patrick Dehornoy

Property Description
ISBN: 9782100044467
Publisher: DUNOD
Release Date: January of 2000
Language: French
Pages: 320
Format: Book
Collection: Sciences Sup
Categories: Books in French > Computing > Schedule
EAN: 9782100044467

BOOKS FROM THE SAME COLLECTION