51
З-981

    Зюзьков, Валентин Михайлович.
    Введение в математическую логику [Электронный ресурс] : учебное пособие / В. М. Зюзьков ; ред. С. В. Макаров ; рец. П. А. Крылов. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2018. - on-line : рис., табл., фот. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 256-260. - Предм. указ.: с. 261-265. - ISBN 978-5-8114-3053-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/107935/#1

51
М 382

   
    Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г. -Д. Эббинхауз [и др.] ; пер. Э. Г. Белаги. - М. : Мир, 1972. - 264 с. : рис., табл. - (Современная математика. Популярная серия). - Пер. с нем. - Библиогр.в конце глав . - Имен. указ.: с. 249-250 . - Предм. указ.: с. 251-262. - 00.89 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)

Шифр: И292818/2016/1
   Журнал
Российская Федерация. Российская Академия Наук (М.).
Искусственный интеллект и принятие решений/ Российская Академия Наук (М.), Институт системного анализа РАН (М.). - М., 2008 - . - ISSN 2071-8594. - Выходит ежеквартально
2016г. N 1 . - 444.43, р.
Содержание:
Кузнецова, Юлия Михайловна. Дефиниция как компонент содержательной структуры научного текста / Ю. М. Кузнецова. - С.3-8
Кл.слова: точность, семантика, термин
Михайлов, Александр Сергеевич. Выявление тематической направленности текстов на естественных языках / А. С. Михайлов, Т. В. Соколова, А. А. Чеповский. - С.9-17
Кл.слова: комментарий, словоформа, эксперимент
Гаврилов, Сергей Витальевич. Вычислимость в клеточных автоматах / С. В. Гаврилов, И. В. Матюшкин, А. Л. Стемпковский. - С.18-36
Кл.слова: парадигма, сортировка, коннекционизм
Девяткин, Дмитрий Алексеевич. Архитектура поисково-аналитической системы и исследование информационного пространства, связанного с арктической зоной / Д. А. Девяткин, Р. Е. Суворов, И. В. Соченков. - С.37-46
Кл.слова: мониторинг, извлечение, запрос
Кондратенко, Анна Алексеевна. Построение онтологий на основе моделей «Узел-Функция-Объект» / А. А. Кондратенко, С. И. Маторин. - С.47-56
Кл.слова: предикат, триплет, нотация
Финн, Виктор Константинович. О новом варианте обобщенного ДСМ-метода автоматизированной поддержки научных исследований / В. К. Финн, О. П. Шестерникова. - С.57-64
Кл.слова: предикат, гипотеза, препятствие
Мелехин, Владимир Борисович. Логика условно-зависимых рассуждений: представление знаний и правила вывода умозаключений / В. Б. Мелехин. - С.65-74
Кл.слова: мышление, планирование, предикат
Плесневич, Геральд Станиславович. Алгоритмы дедукции для некоторых расширений интервальной логики Аллена / Г. С. Плесневич, Тхи Минь ву Нгуен. - С.75-88
Кл.слова: язык, информация, ограничение
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

51
К 493

    Клини, Стивен Коул.
    Математическая логика : Пер. англ. / С. К. Клини ; пер. : Ю. А. Гастев ; ред. пер. : Г. Е. Минц . - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480[2] с. : ил. - Библиогр.: с. 451-469. - Алф.-Предм. указ.: с. 470-478. - ISBN 978-5-484-00802-5 : 215.05 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (18), счз1 (2)

681.3
В-949

    Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики. - Новосибирск : [б. и.], 1996 - .
   156 : Структурные алгоритмические свойства вычислимости / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : [б. и.], 1996. - 153 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)