|
|
libcats.org
Logic and Language Models for Computer ScienceHenry Hamburger, Dana RichardsThis text makes in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of readers, and instill in them an appreciation for the usefulness of theory. A two-part presentation integrates logic and formal language—both with applications. Chapter topics cover mathematical preliminaries, propositional logic, proving things: why and how, predicate logic, proving with predicates, program verification, logic programming, language models for computer science, language models, finite automata and their languages, regular expressions, Lex: a tool for building lexical scanners, context-free grammars, pushdown automata and parsing, and turing machines. For future computer scientists.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Арфист на ветру (Мастер загадок - 3)Автор: Маккиллип ПатрицияКатегория: Научная Фантастика
Размер книги: 483 Kb
Любовицкий В. П. Гоночные велосипедыАвтор: Любовицкий В. П.Категория: Tech механика
Размер книги: 3.18 Mb
Philosophy and Democracy: An AnthologyАвтор: Thomas ChristianoКатегория: Общественные науки прочие, Философия
Размер книги: 2.58 Mb
New Developments in Zeolite Science and Technology: Proceedings of the 7th Intl Zeolite Conference, Tokyo, August 17-22, 1986 (Studies in Surface Science and Catalysis)Автор: Y. Murakami, Автор: A. LijimaКатегория: Образование
Размер книги: 47.43 Mb
|
|
|