CALCUL DIFFÉRENTIEL POUR LES LANGUES DE LA LOGIQUE : THÉORIE ET A
Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, calcul différentiel pour la logique multivaluée, calcul intégral booléen, éléments d'analyse différentielle pour la logique des prédicats.
Description
Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, calcul différentiel pour la logique multivaluée, calcul intégral booléen, éléments d'analyse différentielle pour la logique des prédicats.
Renseignements sur l'ouvrage
Ouvrages similaires
-
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 -
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
COGÉNÉRATION ET MICRO-COGÉNÉRATIONSolutions pour améliorer l'efficacité énergétique -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
MATÉRIAUX ET ENVIRONNEMENTChoix éco-responsable en conception -
MAÎTRISE STATISTIQUE DES PROCÉDÉSPrincipes et cas industriels -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel -
CRÉATEURS D'ENTREPRISE, OPTIMISEZ VOTRE DÉVELOPPEMENT GRÂCE AU WECONCEVEZ UNE STRATÉGIE INTERNET EFFICACE ET RENTAB -
PRATIQUE DE LA VENTILATIONEn 41 fiches-outils -
LE COMPTAGE DE L'ENERGIE: AMELIORATION PERFORMANCE ENERGETIQUE DAAmélioration de la performance énergétique dans l'industrie -
LA COMMANDE MULTIVARIABLEApplication au pilotage d'un avion
