|
|
libcats.org
Logic for computer science: foundations of automatic theorem provingJean H. Gallier"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Gentzen systems; a justification of the resolution method via a translation from a Gentzen system; a presentation of SLD-resolution and a presentation of the foundations of PROLOG; fast decisions procedures based on congruence closures.
Скачать книгу бесплатно (pdf, 1.85 Mb)
Читать «Logic for computer science: foundations of automatic theorem proving» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Общественная организация человечестваАвтор: Циолковский К.Э.Категория: Научная литература
Размер книги: 77 Kb
Алеша Попович освобождает Киев от ТугаринаАвтор: Славянский эпосКатегория: Мифы. Легенды. Эпос, Древнерусская литература
Размер книги: 11 Kb
Бой Ильи Муромца с ЖидовиномАвтор: Славянский эпосКатегория: Мифы. Легенды. Эпос
Размер книги: 14 Kb
Добрыня и МаринкаАвтор: Славянский эпосКатегория: Мифы. Легенды. Эпос, Древнерусская литература
Размер книги: 42 Kb
Howard, Robert E. - Historical Adventure 1939 - Gates of EmpireАвтор: Howard Robert E
Размер книги: 144 Kb
Идеалы, многообразия и алгоритмыАвтор: Кокс Д., Автор: и др.Категория: Научно-популярное
Размер книги: 6.80 Mb
|
|
|