October 17, 200619 yr Bonjour tout le monde, Je voulais savoir si quelqu'un pouvait me conseiller des ouvrages sur les sujets suivant : - Théorie des langages : Notions de langages. Expressions rationnelles, automates, rationalité et non-rationalité. Grammaires algébriques, automates à piles, algébricité et non-algébricité. Machines de Turing. - Logique et Programmation Logique : Logique. Système formel : syntaxe, axiomes, théorèmes, interprétation, validité. Calcul des propositions : connecteurs, formules, règles d'inférence, algèbre booléenne, satisfiabilité, tautologie, inconsistance, correction et complétude. Calcul des prédicats : symboles prédicatifs et fonctionnels, termes, formules, règles d'inférences. Interprétation et modèles. Adéquation, complétude, réfutation. Algèbres logiques, normalisation, unification, skolémisation, résolution, stratégies. Principes de la programmation logique. Langage Prolog. Faits, règles, fonctionnement de l'interprète. Notions extra-logiques : stratégies de recherche, coupure, négation, gestion de la base de faits, ordre supérieur. J'ai fait quelques recherche et je suis tombé sur ces ouvrages : - http://www.dunod.com/pages/ouvrages/ficheo...ge.asp?id=49981 - http://www.eyrolles.com/Accueil/Livre/9782...mes-formels.php Mais je sais pas si ils sont bien, donc si quelqu'un a de bon bouquin sur les sujets exposés plus haut ca m'aiderait bien Merci d'avance. Edited October 17, 200619 yr by Soulfly_tribe90
October 17, 200619 yr Le mieux est d'aller passer le samedi aprèm' chez Eyrolles (boulevard Saint-Germain, métro Maubert-Mutualité) pour parcourir les bouquins. Ils ont une bibliothèque fort bien fournie en livres informatiques et mathématiques, tu devrais trouver ton bonheur.
October 17, 200619 yr Author Le mieux est d'aller passer le samedi aprèm' chez Eyrolles (boulevard Saint-Germain, métro Maubert-Mutualité) pour parcourir les bouquins. Ils ont une bibliothèque fort bien fournie en livres informatiques et mathématiques, tu devrais trouver ton bonheur. Malheureusement je n'ai pas ca chez moi J'ai une librairie mais en général il faut commander niveau informatique c'est pour ca qu'il faut que je sache ce que je veux Merci quand même Sentinel
October 18, 200619 yr Pour la théorie des langages : celui ci est vraiment bien Edited October 18, 200619 yr by jromang
Archived
This topic is now archived and is closed to further replies.