Вход в личный кабинет        RU  EN

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

Антонова Ольга Аркадьевна Табличные методы в логике
Заглавие:
Табличные методы в логике
Тип носителя:
Однотомник.
Место издания:
Санкт-Петербург
Издательство:
Изд-во Санкт-Петербургского университета
Год издания:
2003
Объем:
254 с.
Название серии:
Логика
Аннотация:
Табличный метод — один из наиболее простых и эффективных процедур поиска доказательства, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения
ISBN:
5-288-03309-9
Язык:
Русский

ББК:

 
 
 
 
 
 
 
 
 

Федеральное государственное бюджетное учреждение культуры
«Российская государственная библиотека для молодёжи» Главное здание 107061 Москва, ул. Б. Черкизовская, дом 4, корпус 1
Метро «Преображенская площадь» (выход №5)
Телефон для справок: +7 499 670-80-01
E-mail: info@rgub.ru

Филиал библиотеки — МИКК «Особняк В.Д. Носова» 107023 Москва, ул. Электрозаводская, 12, стр. 1
Метро «Электрозаводская»
Телефоны для справок: +7 499 670-80-01 (доб. 600)
E-mail: mansion@rgub.ru

Яндекс.Метрика

© ФГБУК «Российская государственная библиотека для молодёжи», 2004 — 2022