Aller au contenu
View in the app

A better way to browse. Learn more.
Next

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Recherche Ouvrages Informatique Théorique

Par Soulfly_tribe90
dans Programmation et Lignes de code

Featured Replies

Posté(e)

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.

Modifié par Soulfly_tribe90

  • Citer
    • Posté(e)

    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.

  • Citer
    • Posté(e)
    • Auteur

    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 :smack: 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 :yes:

    Merci quand même Sentinel :photo:

  • Citer

    • Archivé

    Ce sujet est désormais archivé et ne peut plus recevoir de nouvelles réponses.

    Aller sur la liste des sujets

    Configure browser push notifications
    Chrome (Android)
    1. Tap the lock icon next to the address bar.
    2. Tap Permissions → Notifications.
    3. Adjust your preference.
    Chrome (Desktop)
    1. Click the padlock icon in the address bar.
    2. Select Site settings.
    3. Find Notifications and adjust your preference.