
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.\r\nL'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.\r\nCent cinquante exercices d'application et de complément sont proposés, dont plus de la moitié avec un corrigé rédigé.
","offers":{"@type":"Offer","priceCurrency":"EUR","price":38,"url":"/livre-pod/mathematiques-de-l-informatique-9782100044467.html","availability":"https://schema.org/InStock"},"datePublished":"2000-02-08","isbn":"2-10-004446-X","publisher":{"@type":"Organization","name":"Dunod"},"author":{"@type":"Person","name":"Patrick Dehornoy","url":"/auteur/198862/patrick+dehornoy"}}