Табличные методы в логике, О. А. Антонова

Табличные методы в логике, О. А. Антонова
Автор: О. А. Антонова
Раздел: Логика
Доступно в форматах: EPUB | PDF | FB2
Страниц: 256
Год издания: 2003
Язык: Русский
Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц. Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Charles Perrault: Les Contes / Шарль Перро. Сказки. Книга для чтения с заданиями, Шарль Перро
Charles Perrault: Les Contes / Шарль Перро. Сказки. Книга для чтения с заданиями, Шарль Перро
Слово архитектору. Принципы, мнения и афоризмы всемирно известных архитекторов
Слово архитектору. Принципы, мнения и афоризмы всемирно известных архитекторов
Душеполезные поучения, Преподобный Авва Дорофей
Душеполезные поучения, Преподобный Авва Дорофей

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com