INFORMATIQUE: LOGIQUE(S), LANGAGES FORMELS ET COMPLEXITÉ POUR L'I
Analyse des bases théoriques de la logique et des fondements de l'informatique. L'auteur présente les outils de la logique formelle, le langage formel et la notion d'automate, ainsi que les limites de l'informatique. Avec 70 exercices corrigés qui illustrent les démonstrations mathématiques.
Description
Analyse des bases théoriques de la logique et des fondements de l'informatique. L'auteur présente les outils de la logique formelle, le langage formel et la notion d'automate, ainsi que les limites de l'informatique. Avec 70 exercices corrigés qui illustrent les démonstrations mathématiques.
Renseignements sur l'ouvrage
Ouvrages similaires
-
CRÉATEURS D'ENTREPRISE, OPTIMISEZ VOTRE DÉVELOPPEMENT GRÂCE AU WECONCEVEZ UNE STRATÉGIE INTERNET EFFICACE ET RENTAB -
RISQUES PSYCHOSOCIAUX EN ENTREPRISELes solutions psychologiques et juridiques -
DIRIGER ET ENCADRER AUTREMENT: THEORISER PROPRES STRATEGIESThéoriser ses propres stratégies alternatives -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise -
LES PROFESSIONS INTERMEDIAIRES: DES METIERS INTERFACE AU COEUR ENDes métiers d'interface au cur de l'entreprise -
L'ÂGE DE LA MULTITUDE - 2E ÉD. - ENTREPRENDRE ET GOUVERNER APRÈSENTREPRENDRE ET GOUVERNER APRÈS LA RÉVOLUTION NUMÉ -
CHOISIR L'AGILITE: DU DEVELOPPEMENT LOGICIEL A LA GOUVERNANCEDu développement logiciel à la gouvernance -
PRÉVENIR LES CRISESCes cassandres qu'il faut savoir écouter -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
BOOSTER L'INTELLIGENCE COLLECTIVELa stratégie agile de transformation durable des organisations -
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel
