|
|
libcats.org
Mathematical logic for computer scienceMordechai Ben-AriDesigned 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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Metal-Oxygen Clusters: The Surface and Catalytic Properties of Heteropoly Oxometalates (Fundamental and Applied Catalysis)Автор: John B. Moffat
Размер книги: 2.65 Mb
Harmonic analysis and partial differential equations: in honor of CalderonАвтор: Michael Christ, Автор: Carlos E. Kenig, Автор: Cora Sadosky
Размер книги: 4.01 Mb
Provenance and Annotation of Data and ProcessАвтор: Luc Moreau, Автор: Deborah L. McGuinness, Автор: James R. MichaelisКатегория: Математика, Алгоритмы и структуры данных
Размер книги: 7.19 Mb
Diagnostic and Surgical Imaging Anatomy: Knee, Ankle, Foot (International Edition): Published by Amirsys®Автор: B. J Manaster
Размер книги: 43.33 Mb
|
|
|