Mathematical Logic for Computer Science

 
9781447141280: Mathematical Logic for Computer Science

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.

The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.

The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

"Sinopsis" puede pertenecer a otra edición de este libro.

About the Author:

Mordechai (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

Review:

Asst. Prof. Manoj Raut, Dhirubhai Ambani Institute of Information and Communication Technology, India

Excerpts from full review posted Jan 15 2013 to Computing Reviews [Review #: CR140831]

I have used the second edition of this book for my class. I find this new third edition more interesting and more elaborately written; I like it very much, and applaud the author for his work.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Mordechai Ben-Ari
Editorial: Springer London Ltd, United Kingdom (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Paperback Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, United Kingdom, 2012. Paperback. Estado de conservación: New. 3rd ed. 2012. Language: English . Brand New Book. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. Nº de ref. de la librería AAZ9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 39,20
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Mordechai Ben-Ari
Editorial: Springer 2012-06-17 (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Cantidad: 4
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Springer 2012-06-17, 2012. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-GRD-05058730

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 40,37
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,35
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Mordechai Ben-Ari
Editorial: Springer 2012-06-17 (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Paperback Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Springer 2012-06-17, 2012. Paperback. Estado de conservación: New. Nº de ref. de la librería NU-LBR-01082122

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 40,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,35
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Mordechai Ben-Ari
Editorial: Springer London Ltd, United Kingdom (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Paperback Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, United Kingdom, 2012. Paperback. Estado de conservación: New. 3rd ed. 2012. Language: English . Brand New Book. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. Nº de ref. de la librería AAZ9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 44,88
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Mordechai Ben-Ari
Editorial: Springer London 2012-06-17, London (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos paperback Cantidad: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Springer London 2012-06-17, London, 2012. paperback. Estado de conservación: New. Nº de ref. de la librería 9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 39,20
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Ben-Ari, Mordechai
Editorial: Springer (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Tapa blanda Cantidad: 4
Librería
Valoración
[?]

Descripción Springer, 2012. Estado de conservación: New. 2012. 3rd ed. 2012. Paperback. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568. . . . . . . Nº de ref. de la librería V9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 45,94
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Ben-Ari, Mordechai
Editorial: Springer London Ltd (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Cantidad: 4
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, 2012. PAP. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería GB-9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 36,35
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,08
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Mordechai Ben-Ari
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Cantidad: 3
Librería
Speedy Hen LLC
(Sunrise, FL, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Bookseller Inventory # ST1447141288. Nº de ref. de la librería ST1447141288

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 46,81
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Ben-Ari, Mordechai
Editorial: Springer London Ltd (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer London Ltd, 2012. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 45,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Ben-Ari, Mordechai
Editorial: Springer
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevos Tapa blanda Cantidad: 4
Librería
Kennys Bookstore
(Olney, MD, Estados Unidos de America)
Valoración
[?]

Descripción Springer. Estado de conservación: New. 2012. 3rd ed. 2012. Paperback. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568. . . . . . Books ship from the US and Ireland. Nº de ref. de la librería V9781447141280

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 49,46
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda