|
|
libcats.org
Mathematical logic for computer scienceMordechai Ben-AriMathematics textbook specifically geared towards the topics most important to computer science, featuring theorems and proofs, as well as sound logic. Topics covered include propositional calculus, predicate calculus, resolution, hoare logic, and temporal logic. Also features a companion Website. Softcover. DLC: Logic, Symbolic and mathematical.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Без вас невозможноАвтор: Панасенко Леонид НиколаевичКатегория: Научная Фантастика
Размер книги: 926 Kb
God, Humanity, and History: The Hebrew First Crusade ChroniclesАвтор: Robert ChazanКатегория: История
Размер книги: 1.01 Mb
Boss's Survival Guide: Managing PerformanceАвтор: Bob Rosner, Автор: Alan Levins, Автор: Allan Halcrow
Размер книги: 1.46 Mb
Кулинарное мастерство. Поваренная книгаАвтор: В.И. Окунев, Автор: А.П. ШабаловаКатегория: КНИГИ КУЛИНАРИЯ
Размер книги: 203.59 Mb
The Urban Fantasy AnthologyАвтор: Beagle Peter S, Автор: Lansdale Joe RКатегория: fiction
Размер книги: 689 Kb
|
|
|