|
|
libcats.org
Logic primerColin Allen, Michael HandLogic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the student-instructor relationship. The key concepts are laid out in concise definitions and comments, with the expectation that the instructor will elaborate upon them. New to the second edition is the addition of material on the logic of identity in chapters 3 and 4. An innovative interactive Web site, consisting of a "Logic Daemon" and a "Quizmaster," encourages students to formulate their own proofs and links them to appropriate explanations in the book.
Logic Daemon and Quizmaster
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Пурпурная мумия (Сборник с иллюстрациями)Автор: Днепров Анатолий ПетровичКатегория: Научная Фантастика
Размер книги: 1.34 Mb
Лесные солдаты. Партизанская война на Северо-Западе СССР. 1941-1944Автор: Спириденков Владимир АлександровичКатегория: История
Размер книги: 2.93 Mb
Experimental Mathematics In ActionАвтор: David H. Bailey, Автор: Jonathan M. Borwein, Автор: Neil J. Calkin, Автор: Roland Girgensohn, Автор: D. Russell Luke, Автор: Victor Moll
Размер книги: 4.06 Mb
Winchester 94 explainedАвтор: Gerard HenrotinКатегория: ВОЕННАЯ ИСТОРИЯ, ТЕХНИКА
Размер книги: 36.17 Mb
Gulf War Reparations and the UN Compensation Commission: Environmental LiabilityАвтор: Cymie R. Payne, Автор: Peter H. Sand
Размер книги: 1.85 Mb
|
|
|