- Išparduota
/https://libri-media.knygos-static.lt/fde1ce45-cd41-4f43-9082-5dc5c19ae99a/1)
- Autorius: Mark Verus Lawson
- Leidėjas: Taylor & Francis Ltd.
- Metai: 2018
- Puslapiai: 250
- ISBN: 9781351175371
- ISBN-10: 1351175378
- ISBN-13: 9781351175371
- Formatas: ACSM ?
- Kalba: Anglų
Atsiliepimai
Formatai:
Aprašymas
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.
Elektroninė knyga:
Atsiuntimas po užsakymo akimirksniu! Skirta skaitymui tik kompiuteryje, planšetėje ar kitame elektroniniame įrenginyje.
Kaip skaityti el. knygas ACSM formatu?
Mažiausia kaina per 30 dienų: 153,99 €
Mažiausia kaina užfiksuota: 2026-08-30 03:38:00
- Autorius: Mark Verus Lawson
- Leidėjas: Taylor & Francis Ltd.
- Metai: 2018
- Puslapiai: 250
- ISBN: 9781351175371
- ISBN-10: 1351175378
- ISBN-13: 9781351175371
- Formatas: ACSM ?
- Kalba: Anglų
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.
Atsiliepimai