Вход в личный кабинет        RU  EN
RSS события Facebook VK Instagram Twitter Youtube Подписаться на ежемесячную рассылку по электронной почте
Российская государственная библиотека для молодежи

+7 499 922-66-77

Часы работы Как записаться Виртуальный тур Карта сайта

Детальная информация об издании

Антонова Ольга Аркадьевна Табличные методы в логике
Заглавие:
Табличные методы в логике
Тип носителя:
Однотомник.
Место издания:
Санкт-Петербург
Издательство:
Изд-во Санкт-Петербургского университета
Год издания:
2003
Объем:
254 с.
Название серии:
Логика
Аннотация:
Табличный метод — один из наиболее простых и эффективных процедур поиска доказательства, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения
ISBN:
5-288-03309-9
Язык:
Русский
ББК:
Проверяем наличие...
 
 
 
 
 
 
 
Мы в социальных сетях
Подписаться на рассылку
107061 Москва, ул. Б. Черкизовская, дом 4, корпус 1
Телефон для справок: +7 499 922-66-77
E-mail: info@rgub.ru
Филиал библиотеки — МИКК «Особняк В.Д. Носова»
107023 Москва, ул. Электрозаводская, 12, стр. 1
Телефоны для справок: +7 499 922-66-77 (доб. 600)
E-mail: mansion@rgub.ru
Яндекс.Метрика  
© Федеральное государственное бюджетное учреждение культуры «Российская государственная библиотека для молодёжи», 2004—19