Сводный каталог книг

[Текст] / Ин-т философии РАН. - Москва : Наука, 1993 - . - 2003. - 311 с. - Библиогр. в конце ст. - ISBN 5-02-006257-X : 123.50 р.

УДК

16

ББК В1

Аннотация: В юбилейном 10-м выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики, а также статьи, подготовленные по пленарным докладам, прочитанным на 4 Международной конференции "Смирновские чтения" (Москва, май 2003), Здесь же опубликован библиографический указатель (на русском и английском языках) работ, изданных с 1993 по 2003 г. включительно. Сборник предназначен для всех интересующихся логикой и ее приложениями в различных научных дисциплинах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / А. К. Гуц. - Изд. стереотип. - Москва : ЛИБРОКОМ ; Москва : URSS, 2015. - 120 с. : ил., портр., табл. ; 22 . - Библиогр.: с. 114-117. - ISBN 978-5-397-04775-3 : 215.00 р.

ГРНТИ	27.03
УДК	510.6(075.8)

ББК В12я73

Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : научное издание / А. С. Карпенко ; Рос. акад наук. - Изд.стереотип. - Москва : Издательство ЛКИ ; Москва : URSS, 2016. - 448 с. - Библиогр.: с.346-414 . - Предм. указ.: с.426-432 . - Алф. указ.: с. 416-425. - ISBN 978-5-382-01624-5 (в пер.) : 719.00 р.

ГРНТИ

27.03

ББК В12

Аннотация: В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо выделяет также сложнейшую философскую проблему интерпретации истинностных значений, которая в итоге приводит к идее их структурализации. Книга может служить справочником по многозначной логике, поскольку в ней тщательно соблюдается хронология развития многозначной логики, содержится большой список использованной литературы; к тому же она не предполагает наличия у читателя каких-либо предварительных знаний. Книга рассчитана на самый широкий круг читателей, в том числе философов, логиков, математиков и студентов соответствующих специальностей.

Аннотация


Доп.точки доступа:
Российская академия наук (Москва). Институт философии
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)