Написал сообщение в тусовке кино
0 26 Ноября Ответить
Написал рецензию в тусовке литература
0
0 7 Октября Ответить
Написал рецензию в тусовке кино
0
0 4 Сентября Ответить
Написал рецензию в тусовке
1
0 1 Ноября 2017 Ответить
Написал рецензию в тусовке литература
0
0 25 Июня 2017 Ответить
Написал рецензию в тусовке литература
0
0 24 Июня 2017 Ответить
Для быстрого поиска начните вводить запрос
Табличные методы в логике
от 158 руб.

Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц. Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.

0.0
Ваша оценка 0.0 Отменить оценку
  • Год выхода
    2003
  • Издательства
    Издательство СПбГУ
Персоны
Рецензии (0)
Авторизуйтесь чтобы писать рецензии. Все рецензии
Комментарии (0)
Авторизуйтесь чтобы оставлять комментарии.

Поделитесь с друзьями