Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 5 votes.
Titre original :
A First Course in Logic
Contenu du livre :
A First Course in Logic est une introduction à la logique du premier ordre destinée aux mathématiciens et aux informaticiens de première et deuxième année. Ce cours comporte trois volets : la logique propositionnelle, les algèbres de Boole et la logique des prédicats/du premier ordre.
La logique est la base des preuves en mathématiques - comment savons-nous que ce que nous disons est vrai ? -- La logique est à la base des preuves en mathématiques - comment savons-nous que ce que nous disons est vrai ? - et en informatique - comment puis-je savoir que ce programme fera ce que je pense qu'il fera ? Étonnamment, peu de mathématiques sont nécessaires pour apprendre et comprendre la logique (ce cours n'implique aucun calcul).
Le véritable prérequis mathématique est la capacité à manipuler des symboles : en d'autres termes, l'algèbre de base. Toute personne capable d'écrire des programmes devrait avoir cette capacité.
Autres informations sur le livre :
| ISBN : | 9780815386650 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2018 |
| Nombre de pages : | 234 |
Achat:
Actuellement disponible, en stock.
