INFORMATIQUE THÉORIQUE - LOGIQUE ET DÉMONSTRATION AUTOMATIQUE - I
La logique classique des circuits combinatoires à deux valeurs de vérité est abordée et des exercices corrigés gradués permettent de renforcer la rigueur de raisonnement.
Description
La logique classique des circuits combinatoires à deux valeurs de vérité est abordée et des exercices corrigés gradués permettent de renforcer la rigueur de raisonnement.
Renseignements sur l'ouvrage
Ouvrages similaires
-
BASES DE DONNÉES - XQUERY POUR INTERROGER DES DONNÉES XMLÉléments du langage et mise en uvre - Cours et exercices corrigés -
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
MINI-MANUEL DE PROGRAMMATION FONCTIONNELLECours + exos corrigés -
MDM: ENJEUX ET METHODES GESTION DONNEESEnjeux et méthodes de la gestion des données -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
BASES DE DONNÉES NOSQL ET BIG DATA : CONCEVOIR DES BASES DE DONNÉES POUR LE BIG DATACours et travaux pratiques -
SAS L'ESSENTIELSAS v8 et SAS v9, SAS Enterprise Guide, langages SAS, SQL et macro -
L'ÂGE DE LA MULTITUDE: ENTREPRENDRE ET GOUVERNER 2E ÉD.Entreprendre et gouverner après la révolution numérique -
CHOISIR L'AGILITÉDu développement logiciel à la gouvernance -
ALGORITHMIQUE, CALCUL NUMÉRIQUETravaux pratiques résolus et programmation avec les logiciels Scilab et Pyt... -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
PREMIERS PAS EN ALGORITHMIQUEDe l'énoncé à la solution - Exercices analysés, corrigés et commentés -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise
