A First Course in Logic
Autor Mark Verus Lawsonen Limba Engleză Paperback – 29 noi 2018
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.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 366.45 lei 43-57 zile | +89.31 lei 5-11 zile |
| CRC Press – 29 noi 2018 | 366.45 lei 43-57 zile | +89.31 lei 5-11 zile |
| Hardback (1) | 843.57 lei 43-57 zile | |
| CRC Press – 29 noi 2018 | 843.57 lei 43-57 zile |
Preț: 366.45 lei
Preț vechi: 476.24 lei
-23% Nou
Puncte Express: 550
Preț estimativ în valută:
70.12€ • 74.05$ • 58.35£
70.12€ • 74.05$ • 58.35£
Carte tipărită la comandă
Livrare economică 13-27 ianuarie 25
Livrare express 06-12 decembrie pentru 99.30 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780815386650
ISBN-10: 0815386656
Pagini: 250
Ilustrații: 91 Tables, black and white; 81 Illustrations, black and white
Dimensiuni: 156 x 234 x 24 mm
Greutate: 0.36 kg
Ediția:1
Editura: CRC Press
Colecția CRC Press
ISBN-10: 0815386656
Pagini: 250
Ilustrații: 91 Tables, black and white; 81 Illustrations, black and white
Dimensiuni: 156 x 234 x 24 mm
Greutate: 0.36 kg
Ediția:1
Editura: CRC Press
Colecția CRC Press
Cuprins
1. Propositional logic. 2. Boolean algebras. 3. First-order logic
Recenzii
In academia, basic logic is seen as both a skill that must be mastered by all, and as a topic that is hardly taught to anyone. As a skill, logic offers various techniques for evaluating the truth or the falsity of a statement. As a topic, logic offers insurance that these techniques are valid and, if possible, complete.
In his book, Mark Lawson proposes a pleasant journey in both directions. Following a tradition that dates back at least to the ancient greeks, plenty of everyday life examples are proposed throughout the book for initiating, developing, and confirming our capacity to use logic as a skill. As additional examples of logic at work, most major known facts concerning basic logic as a topic are also carefully and incrementally presented.
While a course in formal logic can easily become awfully abstract, dull, and difficult, this first course in logic is certainly not of that kind: on the contrary
-David Janin, Bordeaux INP, ENSEIRB-MATMECA
In his book, Mark Lawson proposes a pleasant journey in both directions. Following a tradition that dates back at least to the ancient greeks, plenty of everyday life examples are proposed throughout the book for initiating, developing, and confirming our capacity to use logic as a skill. As additional examples of logic at work, most major known facts concerning basic logic as a topic are also carefully and incrementally presented.
While a course in formal logic can easily become awfully abstract, dull, and difficult, this first course in logic is certainly not of that kind: on the contrary
-David Janin, Bordeaux INP, ENSEIRB-MATMECA
Notă biografică
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.
Descriere
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.