Logique et théorie des systèmes digitaux

André Thayse

272 pages, parution le 27/11/2002

Ajouter à une liste

Indisponible

Résumé

Cet ouvrage développe une théorie des systèmes digitaux, fort semblable à la théorie des systèmes analogiques de traitement de l'information, et base cette théorie sur une formalisation où le comportement des systèmes digitaux est modélisé au moyen de fonctions booléennes ou de formules de la logique.
Logique et théorie des systèmes digitaux se veut introductif et ne suppose du lecteur qu'une certaine familiarité avec le formalisme des fonctions booléennes et avec celui de la logique formelle. L'ordinateur constitue le type même de système digital , l'information y est traitée sous forme discrète, c'est-à-dire non continue.
Outre le domaine de l'informatique, la plupart des techniques de transmission de l'information sont basées sur des technologies digitales. C'est dire l'importance que ces technologies ont acquise et l'intérêt de leur formalisation.

L'ouvrage présente une théorie unifiée des techniques de synthèse des systèmes digitaux, théorie qui s'applique aussi bien aux synthèses matérielles que logicielles, et aussi bien selon les paradigmes de la programmation impérative que de la programmation déclarative.

Au sommaire

Théorie de base
Instructions matricielles Synthèse simultanée
Règles de preuve
Synthèses optimales
Logiques multivaluées et fonctions discrètes
La logique des prédicats et la synthèse d'algorithmes
Grammaires formelles et programmation logique

L'auteur - André Thayse

Autres livres de André Thayse

Jésus de nazareth

Alliances : histoire des hommes, quête de dieu

Mathématiques, physique, métaphysique

Science, foi, religions

Découvrir tous les livres de André Thayse

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	André Thayse
Parution	27/11/2002
Nb. de pages	272
Format	15,5 x 23,5
Couverture	Broché
Poids	415g
Intérieur	Noir et Blanc
EAN13	9782746205864
ISBN13	978-2-7462-0586-4