Verwandte Artikel zu A First Course in Logic

A First Course in Logic - Softcover

Lawson, Mark Verus

 
9780815386650: A First Course in Logic
Softcover
ISBN 10: 0815386656 ISBN 13: 9780815386650
Verlag: Routledge, 2018

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Routledge
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
0815386656
ISBN 13 
9780815386650
Einband
Taschenbuch
Anzahl der Seiten
250
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland