Könyv Mathematical Logic for Computer Science Mordechai Ben-Ari

Mathematical Logic for Computer Science

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
24 782 Ft
This book approaches mathematics based on the needs of computer science students, teaching logic by...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2012
oldal
346
EAN
9781447141280
ISBN
1447141288
Enbook ID
01241719
Súly
544
Méretek
153 x 231 x 19

Teljes leírás

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.

Érdekelheti

Basic Proof Theory

Anne S. Troelstra
24 172 Ft

Computability Theory

Herbert Enderton
22 889 Ft
50 100 Ft
34 998 Ft
10 390 Ft

Mathematical Logic

Heinz-Dieter Ebbinghaus
19 346 Ft

Mathematical Logic

Heinz-Dieter Ebbinghaus
27 032 Ft
10 651 Ft

Twisted

Twisted
7 966 Ft
18 049 Ft

Lore and Lust

Karla Nikole
6 279 Ft

World Press Photo 2021

World Press Photo Foundation
12 485 Ft
4 111 Ft
27 573 Ft

Ace

CHEN ANGELA
4 446 Ft
22 935 Ft

Hidden Bodies

Caroline Kepnes
4 043 Ft