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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 33207871-n
Quantité disponible : 10 disponible(s)
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780815386650
Quantité disponible : 5 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. pp. 250. N° de réf. du vendeur 370403860
Quantité disponible : 3 disponible(s)
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Paperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. 405. N° de réf. du vendeur B9780815386650
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 33207871
Quantité disponible : 10 disponible(s)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. pp. 250. N° de réf. du vendeur 26375674315
Quantité disponible : 3 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. pp. 250. N° de réf. du vendeur 18375674305
Quantité disponible : 3 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 246 pages. 9.00x6.00x0.50 inches. In Stock. N° de réf. du vendeur zk0815386656
Quantité disponible : 1 disponible(s)
Vendeur : moluna, Greven, Allemagne
Kartoniert / Broschiert. Etat : New. 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 application. N° de réf. du vendeur 595053390
Quantité disponible : Plus de 20 disponibles
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. Neuware - 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. N° de réf. du vendeur 9780815386650
Quantité disponible : 2 disponible(s)