Choix d'un sujet lié
Algèbre abstraite Logique Mathématiques -- Fondements Mathématiques à rebours
Choix de relance de recherche
Les bibliothèques de la ville de Paris Les bibliothèques universitaires La BnF L'encyclopédie Wikipédia L'Encyclopædia Universalis La bibliothèque du film La médiathèque de la Philharmonie de Paris

Recherche simple :

  •    Tous les mots : Logique informatique
  • Aide
  • Eurêkoi Eurêkoi
Choix du tri des documents
Titre A-Z Titre Z-A Auteur A-Z Auteur Z-A Les plus récents Les moins récents
Sélectionner le nombre de résultat par colonne
25 résultats par colonne 50 résultats par colonne

Documents en rayon : 102

Voir tout les documents en rayons
Livre Informatique mathématique : une photographie en 2022

par Bournez, Olivier ; Martin, Bruno (1967-....) ; Riva, Sara ; Fijalkow, Nathanaël (19..-....) ; Chetrite, Raphaël (1981-....)

CNRS Edition

2022 -

  • Disponible - A partir du 25 août 2025 - 519.8 INF

Livre Logique pour l'informatique

Ellipses

2020 -

  • Disponible - A partir du 25 août 2025 - 681.21 LOG

Livre La logique : le vrai, le faux et l'incertain

POLE

2005 -

  • Disponible - A partir du 25 août 2025 - 510.1 LOG

Livre Informatique MP2I, MPI : tout-en-un

Dunod

2024 -

  • Disponible - A partir du 25 août 2025 - 681.21(07) INF

Livre Informatique MP2I : cours, programmes en C et OCaml : exercices corrigés

par Mallet, Olivier

Ellipses

2023 -

  • Disponible - A partir du 25 août 2025 - 681.229(07) MAL

Livre Calcul différentiel pour les langues de la logique : théorie et applications

par Thayse, André (1940-....)

Hermès science publications

2004 -

  • Disponible - A partir du 25 août 2025 - 510.1 THA

Livre Le microprocesseur. Volume 3 , Aspects matériels

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 3

Livre Le microprocesseur. Volume 5 , Aspects logiciels et matériels du développement, du débogage et du test

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 5

Livre Le microprocesseur. Volume 1 , Fonctions de calcul et de mémorisation, modèles de calcul et architecture des ordinateurs

par Darche, Philippe

Iste éditions

2021 -

  • Disponible - A partir du 25 août 2025 - 681.33 DAR 1

Livre Mathématiques de l'informatique : cours et exercices corrigés

par Dehornoy, Patrick (1952-2019)

Dunod

2000

  • Disponible - A partir du 25 août 2025 - 519.8 DEH

Documents en ligne : 13

Voir tout les documents en ligne
Article L'informatique face à la logique du vivant

Dans MONDE (LE)

MONDE (LE)

2001

  • Consultable à la Bpi

Livre numérique Sciences des données : de la logique du premier ordre à la Toile

par Abiteboul, Serge

Collège de France ; Fayard

2013-01-24

Résultat de OpenEdition : Books

Article Premières réflexions sur les rapports entre la logique symbolique et l’informatique

Dans Éditions Kimé

par Bozzi, R.

Philosophia Scientiæ

2011-06-10

Résultat de OpenEdition : Journals

Livre numérique Éloge du flou

par Sangalli, Arturo

Presses de l’Université de Montréal

2018-07-06

Résultat de OpenEdition : Books

Article Sciences du logiciel

Dans Collège de France

par Leroy, Xavier

Annuaire du Collège de France

2022-03-18

Résultat de OpenEdition : Journals

Article Sciences du logiciel

Dans Collège de France

par Leroy, Xavier

Annuaire du Collège de France

2023-02-28

Résultat de OpenEdition : Journals

Article Les conditions de l’analyse qualitative

Dans Association internationale des sociologues de langue française (AISLF)

par Paillé, Pierre

SociologieS

2021-06-01

Résultat de OpenEdition : Journals

Article Les logiques politiques des TIC, les TIC, entre impensé, glissement de la prérogative politique et gestionnarisation

Dans Société Française de Sciences de l’Information et de la Communication

par Robert, Pascal

Revue française des sciences de l’information et de la communication

2014-07-31

Résultat de OpenEdition : Journals

Article Jacques Perriault (1938-2019). Un humaniste du XXe siècle 

Dans CNED-Centre national d'enseignement à distance

par Fouquet, Annie

Distances et médiations des savoirs

2022-03-27

Résultat de OpenEdition : Journals

Article De la spécificité du projet en design : une démonstration

Dans Presses universitaires de Bordeaux

par Vial, Stéphane

Communication et organisation

2015-03-16

Résultat de OpenEdition : Journals

Explorer les sujets liés :

Logique mathématique

Logique mathématique

  • Type d'autorité
    • Concept
  • Autre(s) nom(s)
    • Logique formelle ;
    • Logique moderne symbolique
Haut de page