Kód: 17647496
Logic And Language Models For Computer Science (Third Edition)
Autor Dana Richards, Henry Hamburger
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computabilit ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 468
Nakladatelství: World Scientific Publishing Co Pte Ltd, 2017
- Více informací o knize
Mohlo by se vám také líbit
-
The Tube Amplifier Schematic Bible Volume 1: Library of Vintage Tube Amps (A-F)
532 Kč -
The Unfinished History of the Iran-Iraq War
708 Kč -
Regulating Human Embryonic Stem Cell in China
2675 Kč -
How to Facilitate Meetings & Workshops Using the LEGO Serious Play Method
2548 Kč -
Pohádky plné pohody
115 Kč -
Highwayman's Letter
320 Kč -
Как ходить в школу с удовольствием
486 Kč -
Radiology - Medical School Crash Course
1664 Kč -
Gunter Grass's Use of Baroque Literature
916 Kč -
Pourquoi il faut partager les revenus
391 Kč -
Worlds Okayest Dad Coloring Book: A Sweary, Irreverent, Swear Word Dad Coloring Book for Adults
199 Kč -
Lion Eater
420 Kč -
Au Coeur de Soi - Explorer & Transformer sa nature intérieure
299 Kč -
BLACK CAT READING CLASSICS C1-C2 - SELECTED STORIES BY EDGAR ALLAN POE + CD
535 Kč -
Communication Between East and West: Communication
279 Kč -
KRAO VS ITALIANINI: EL DESAFIO DE LA MORTADELA
156 Kč -
Coutumes de Bretagne, Avec Les Commentaires Et Observations Pour l'Intelligence
788 Kč -
Mathematics Applications Unit 1
599 Kč -
Camille Goes Bug Hunting: Children's Picture Book
256 Kč -
Your Unlimited Magnificent Memory
291 Kč -
Your First Chess Lessons
210 Kč -
Loops and Grooves
788 Kč -
Providence Displayed: Or The Remarkable Adventures Of Alexander Selkirk, Of Largo, In Scotland (1800)
619 Kč -
What's my name? ROBERT
341 Kč -
Ismael; An Oriental Tale. with Other Poems
509 Kč -
Burn and Dodge
359 Kč -
ESSENTIALS OF ORGANIZ.BEHAVIOR-5ª EDIC
1700 Kč -
El despertar al mundo de tu bebé
512 Kč -
Where Does Sound Come From? Volume 2, Revised Edition: Data & Graphs for Science Lab
279 Kč -
Microsoft Office Live Small Business: Beginner's Guide
1034 Kč -
I Am...The Power Of Self Awareness
340 Kč -
The Method of Approximate Inverse: Theory and Applications
1064 Kč -
Optimum Design of Renewable Energy Systems
5675 Kč -
Excusing Immorality in the Church: A Call to Biblical Faithfulness
151 Kč -
Ragtime Piano Solos And How To Play Them
750 Kč -
Service Quality Regulation in Electricity Distribution and Retail
2357 Kč -
Possibilite Et Convenance de Faire Sortir Certaines Categories d'Alienes Des Asiles Speciaux
285 Kč -
The Middle Times: Red War...Upon Sea
422 Kč -
21st century declaration of China
775 Kč -
Straight Road with 99 Curves
317 Kč -
Kemalizm
325 Kč -
Political Economy of Emerging Markets
1577 Kč -
Kayleigh's Reading Log
358 Kč -
Model Car Builder No. 25: Tips, Tricks, How Tos, and Feature Cars
307 Kč -
Project Management and Engineering
2357 Kč -
My Name is Lee: A personal reflection of an adopted Korean and his mother
299 Kč -
American English Phonetic Transcription
5651 Kč -
Community-Based Programs and Policies
1034 Kč -
Poetic Therapy: Me In Between
258 Kč -
Condor Canyon: Une aventure de l'intrépide Lady Byrd
195 Kč -
Look in Far Enough: the Key to Unlocking Unlimited Success and Motivation
382 Kč -
Free Training Day Mid-West Collectors' Yearbook 2025 Edition
975 Kč -
Computerized Adaptive Testing
5651 Kč -
Washington's Rules of Civility and Decent Behavior in Company and Conversation (1888)
750 Kč -
Tales of the Sun or
2295 Kč -
Lost Railways of Limerick and the South West
267 Kč -
Annual Report of the Town of Raymond, New Hampshire; 1960
423 Kč -
Expository Lectures on the Book of Joshua
574 Kč -
La légende noire des Borgia
526 Kč -
Meet Me At Sunrise (Large Print)
403 Kč -
Indie Author Atlas
340 Kč -
Double Take! a New Look at Opposites
358 Kč -
101 Calaveras Sugar Skulls Coloring Book: Dark Day of the Dead in Mexico
217 Kč -
Chemie und Metalle verbinden Epochen
501 Kč -
Sisyphus, Outdone.
382 Kč -
Floppy Note
154 Kč -
The Drama: Its Laws and Its Technique (1898)
619 Kč -
Compleat Distiller
794 Kč -
Elsie's Young Folks: In Peace And War (1900)
707 Kč -
História e filosofia da ci?ncia
1115 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Logic And Language Models For Computer Science (Third Edition)
Nákupem získáte 239 bodů
Anotace knihy
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence
2388 Kč
- Plný název: Logic And Language Models For Computer Science (Third Edition)
- Autor: Dana Richards, Henry Hamburger
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 468
- EAN: 9789813229204
- ISBN: 9813229209
- ID: 17647496
- Nakladatelství: World Scientific Publishing Co Pte Ltd
- Hmotnost: 820 g
- Rozměry: 235 × 157 × 30 mm
- Datum vydání: 24. October 2017
Oblíbené z jiného soudku
-
More Everything Forever
366 Kč -
Reinforcement Learning
2613 Kč -
Google Gemini - Einstieg und Praxis - Texte, Bilder, Videos mit KI generieren
410 Kč -
Why Greatness Cannot Be Planned
551 Kč -
Probabilistic Machine Learning
3407 Kč -
Advances in Financial Machine Learning
967 Kč -
Book of Why
276 Kč -
Deep Learning
2151 Kč -
Dive into Deep Learning
854 Kč -
Sciences of the Artificial
1137 Kč -
Real-Time C++
1154 Kč -
Pattern Recognition and Machine Learning
1729 Kč -
Designing Human-Centric AI Experiences
1034 Kč -
Practical Time Series Analysis
1268 Kč -
Understanding Machine Learning
1666 Kč -
Programming Machine Learning
941 Kč -
Superminds
248 Kč -
Hands-On Unsupervised Learning Using Python
1358 Kč -
Neuronal Dynamics
1688 Kč -
Genetic Algorithms
1154 Kč -
Artificial Intelligence and Government
3679 Kč -
Neural Network Learning
1620 Kč -
Data Mining
1154 Kč -
On Intelligence
358 Kč -
Deep Learning
2188 Kč -
Lambda Calculus. Its Syntax and Semantics
616 Kč -
Linear Algebra and Optimization for Machine Learning
1269 Kč -
Artificial Intelligence Basics
723 Kč -
Words and Rules
381 Kč -
Computer Vision
1384 Kč -
Python Machine Learning -
1034 Kč -
Introduction to Information Theory, Symbols, Signals and Noise
463 Kč -
Natural Language Processing in Action
1441 Kč -
Tiny ML
801 Kč -
Eye Tracking Methodology
1545 Kč -
High-Dimensional Probability
1827 Kč -
AI for Games Developers
645 Kč -
Dancing with Qubits
2210 Kč -
Large Language Models: A Deep Dive
1384 Kč -
Artificial Intelligence and Games
1384 Kč -
Graph Neural Networks: Foundations, Frontiers, and Applications
1845 Kč -
Deep Reinforcement Learning
4707 Kč -
Intelligent Techniques for Data Science
1729 Kč -
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
1531 Kč -
Natural Language Processing: Python and NLTK
1959 Kč -
Genetic Programming
1181 Kč -
Anomaly Detection Principles and Algorithms
1701 Kč -
Fundamentals of Computational Swarm Intelligence
3444 Kč -
Machine Learning Design Patterns
1124 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48449 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)