Ensembles, logique et mathématiques pour l'informatique

Note :   (5,0 sur 5)

Ensembles, logique et mathématiques pour l'informatique (David Makinson)

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 5 votes.

Titre original :

Sets, Logic and Maths for Computing

Contenu du livre :

Ce manuel facile à suivre présente le langage mathématique, les connaissances et les compétences en matière de résolution de problèmes dont les étudiants de premier cycle ont besoin pour entrer dans le monde de l'informatique et des sciences de l'information. Le langage est en partie qualitatif, avec des concepts tels que l'ensemble, la relation, la fonction et la récursion/induction ; mais il est aussi en partie quantitatif, avec des principes de comptage et de probabilité finie. Les notions fondamentales de la logique et leur utilisation pour la représentation et la preuve sont intimement liées à ces deux notions. En dix chapitres sur ces sujets, le livre guide l'étudiant à travers les concepts et les techniques essentiels.

La deuxième édition, largement révisée, apporte des éclaircissements supplémentaires sur les questions qui posent généralement problème en classe et restructure les chapitres sur la logique pour mettre l'accent sur le rôle des relations de conséquence et des règles de plus haut niveau, tout en incluant davantage d'exercices et de solutions.

Sujets et caractéristiques : enseigne les mathématiques finies comme un langage de pensée, autant que comme des connaissances et des compétences à acquérir ; utilise une approche intuitive en mettant l'accent sur les exemples pour tous les concepts généraux ; fait ressortir l'interaction entre le qualitatif et le quantitatif dans tous les domaines couverts, en particulier dans le traitement de la récursion et de l'induction ; équilibre soigneusement l'abstrait et le concret, les principes et les preuves, les faits spécifiques et les perspectives générales ; comprend des encadrés qui soulèvent des questions courantes et dissipent les confusions ; fournit de nombreux exercices, avec des solutions sélectionnées, pour tester et approfondir la compréhension du lecteur.

Ce texte/référence clairement rédigé est une lecture incontournable pour les étudiants de première année de licence en informatique. N'exigeant qu'un minimum de connaissances en mathématiques, il est idéal pour la classe et l'étude indépendante.

Autres informations sur le livre :

ISBN :9783030422172
Auteur :
Éditeur :
Reliure :Broché
Année de publication :2020
Nombre de pages :398

Achat:

Actuellement disponible, en stock.

Je l'achète!

Autres livres de l'auteur :

Ensembles, logique et mathématiques pour l'informatique - Sets, Logic and Maths for...
Ce manuel facile à suivre présente le langage mathématique,...
Ensembles, logique et mathématiques pour l'informatique - Sets, Logic and Maths for Computing
Passerelles entre la logique classique et la logique non monotone - Bridges from Classical to...
Imaginez un robot qui tente d'évaluer une...
Passerelles entre la logique classique et la logique non monotone - Bridges from Classical to Nonmonotonic Logic

Les œuvres de l'auteur ont été publiées par les éditeurs suivants :

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)