Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
A First Course in Logic
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

A First Course in Logic

A First Course in Logic

Mark Verus Lawson

234 pages, parution le 27/11/2018

Résumé

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics - how do we know what we say is true? - and also of computer science - how do I know this program will do what I think it will?

Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.

1. Propositional logic. 2. Boolean algebras. 3. First-order logic

Mark V. Lawson is a professor in the department of mathematics at Heriot-Watt University. Dr. Lawson has published over 70 papers, and has written four books. His research interests focus on algebraic semigroup theory and its applications.

Caractéristiques techniques

  PAPIER
Éditeur(s) Taylor&francis
Auteur(s) Mark Verus Lawson
Parution 27/11/2018
Nb. de pages 234
EAN13 9780815386650

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925