Menu
Виж статуса на поръчката
Свържете се с нас
Книга Logique élémentaire ZAHND

Logique élémentaire

Cours de base pour informaticiens

Автор: ZAHND
Език: Френски език
Корици: С меки корици
Наличност: Налично при издателя, по поръчка
Изпращаме след 21-24 дни
75.03 € 146.74 лв
SujetLa faculté de raisonner sur des objets concrets ou abstraits est d'une importance fondamentale...

Информация за книгата

Автор
ZAHND
Език
Френски език
Корици
Книга - С меки корици
страници
440
EAN
9782880743604
Enbook ID
34947629
Теглоt
1

Пълно описание

SujetLa faculté de raisonner sur des objets concrets ou abstraits est d'une importance fondamentale dans toutes les disciplines qui traitent d'objets dont les propriétés sont bien définies, telles que les mathématiques, l'informatique, les sciences exactes en général. L'informaticien en particulier doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce livre enseigne les techniques de base pour effectuer ces raisonnements non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c'est-à-dire en appliquant des règles précises de manipulation de symboles qui ne laissent aucune place à l'à peu près et à l'erreur. Ce sont les règles de la logique.OriginalitéLe raisonnement formel est un genre de calcul qui demande à être étudié, exercé et appliqué. C'est là le but principal de ce livre. Il fournit une formation de base, qui consiste en un exposé soigné des règles du raisonnement formel et leur application systématique au traitement de la théorie élémentaire des ensembles. Celle-ci a été choisie en tant que première application, en raison de l'importance des méthodes formelles ensemblistes en informatique.PublicCet ouvrage est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie des ensembles.

Може също да ви хареса

Au Bord de La Falaise

Roger Chartier
24.25 € 47.43 лв

La dernière interview de Lorca

Christian Soleil
15.71 € 30.73 лв

Клиенти, които купиха тази книга, купиха също

Sustainable Supply Chain Management in the chocolate industry

Oliver Thomas
18.48 € 36.14 лв

Verwendung von Holz im Garten- und Landschaftsbau

Mehdi Mahabadi
54.89 € 107.35 лв

Pierre The Maze Detective: The Mystery of the Empire Maze Tower

Hiro Kamigaki
15.31 € 29.95 лв

Das Prinzip von Q'uo: 19. September 2015

Jochen Blumenthal
6.32 € 12.37 лв

Tesz-Vesz Város élő adásban

Richard Scarry
11.75 € 22.97 лв