Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logic and Language Models for Computer Science (Fourth Edition)

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 283 bodov

Anotácia knihy

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.

This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Celý názov: Logic and Language Models for Computer Science (Fourth Edition)
• Autor: Henry Hamburger
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 498
• EAN: 9789811260667
• ISBN: 9811260664
• ID: 39229802
• Nakladateľ: WORLD SCIENTIFIC PUB CO INC
• Hmotnosť: 829 g
• Dátum vydania: 29. January 2023

Obľúbené z iného súdka

---

---

---