libcats.org
Главная

Logic and Language Models for Computer Science

Обложка книги Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

,

This 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.

Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Подводные лодки с крылатыми ракетами

Автор:
Категория: Вооружение
Размер книги: 322.32 Mb

Child Psychiatry

Автор: , Автор:
Категория: Психология
Размер книги: 18.48 Mb

Online Multiplayer Games

Автор: , Автор:
Размер книги: 2.06 Mb

Among the Betrayed

Автор: , Автор:
Категория: fiction
Размер книги: 472 Kb

Prophetic Wisdom (PDF)

Автор:
Категория: Christian
Размер книги: 1.78 Mb