Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

A First Course in Logic

Af: Mark Verus Lawson Engelsk Paperback

A First Course in Logic

Af: Mark Verus Lawson Engelsk Paperback
Tjek vores konkurrenters priser

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.

Tjek vores konkurrenters priser
Normalpris
kr 678
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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.

Produktdetaljer
Sprog: Engelsk
Sider: 250
ISBN-13: 9780815386650
Indbinding: Paperback
Udgave:
ISBN-10: 0815386656
Kategori: Matematisk logik
Udg. Dato: 29 nov 2018
Længde: 24mm
Bredde: 234mm
Højde: 158mm
Forlag: Taylor & Francis Inc
Oplagsdato: 29 nov 2018
Forfatter(e): Mark Verus Lawson
Forfatter(e) Mark Verus Lawson


Kategori Matematisk logik


ISBN-13 9780815386650


Sprog Engelsk


Indbinding Paperback


Sider 250


Udgave


Længde 24mm


Bredde 234mm


Højde 158mm


Udg. Dato 29 nov 2018


Oplagsdato 29 nov 2018


Forlag Taylor & Francis Inc

Vi anbefaler også
Kategori sammenhænge