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

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

Отзывы

Добавить отзыв

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

Совершенствование элементов технологии выращивания гороха овощного
Совершенствование элементов технологии выращивания гороха овощного 		Журнал "AIZ", № 5, 1928 год
Журнал "AIZ", № 5, 1928 год 		Дипломатическая служба, А. В. Торкунов
Дипломатическая служба, А. В. Торкунов

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

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

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

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