libcats.org
Главная

Mathematical logic for computer science

Обложка книги Mathematical logic for computer science

Mathematical logic for computer science

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Зло нарастает

Автор:
Категория: Ужасы и Мистика
Размер книги: 757 Kb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Деньги России

Автор:
Категория: info, encyc, , hobby, collection
Размер книги: 11.54 Mb

Я ТЫ МЫ

Автор:
Категория: people, people, contact
Размер книги: 11.61 Mb

Пизанелло

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

Empire of Alexander the Great

Автор: , Автор:
Категория: История
Размер книги: 7.88 Mb

Two reports on harmonic maps

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

Exploring Employee Relations, Second Edition: An International Approach

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