Książka Mathematical Logic for Computer Science Mordechai Ben-Ari

Mathematical Logic for Computer Science

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
249.13
This book approaches mathematics based on the needs of computer science students, teaching logic by...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
strony
346
EAN
9781447141280
ISBN
1447141288
Enbook ID
01241719
Waga
544
Wymiary
153 x 231 x 19

Pełny opis

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.

Możesz być zainteresowany

Basic Proof Theory

Anne S. Troelstra
255.75

Computability Theory

Herbert Enderton
304.81
538.18
373.65
109.91

Mathematical Logic

Heinz-Dieter Ebbinghaus
207.85

Mathematical Logic

Heinz-Dieter Ebbinghaus
290.21
110.30

World Press Photo 2021

World Press Photo Foundation
146.61
173.38

Lore and Lust

Karla Nikole
68.14
305.50
43.80

Twisted

Twisted
95.50
239.10

Hidden Bodies

Caroline Kepnes
40.10

Klienci, którzy kupili tę książkę, kupili również