• Покупка
  • Поступления
  • Доставка
  • Оплата
  • Контакты
  • Отзывы
  • Спецпредложения
  • В Вашей корзине
    пока пусто
    0 на сумму: NaN руб.
    Доставка по всему миру
    (812) 315-07-85 570-40-20

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

    Код в каталоге: № 44792
    книга Табличные методы в логике, Антонова О.А., 5-288-03309-9
    Автор:
    Издательство:
    Издательство Санкт-Петербургского Университета
    Год выпуска:
    2003
    Состояние:
    Очень хорошее
    Место издания:
    Санкт-Петербург
    Количество страниц:
    256
    Переплет:
    Мягкий
    Формат:
    Обычный
    ISBN:
    5-288-03309-9

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

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

    Купить книгу по философии «Табличные методы в логике» Антонова О.А. 2003 года
    в книжном интернет-магазине с доставкой по оптимальной цене.
    Если данной книги 5-288-03309-9 нет в наличии, то вы можете оставить на нее заявку.
    При появлении этого букинистического издания в продаже вы получите об этом уведомление по sms и email.

    руб.

    Код в каталоге:
    руб.

    Код в каталоге: