519.7
   К265
    Карпов, Юрий Глебович.
    Теория автоматов : Учеб. для вузов по спец. "Вычислит. машины, комплексы, системы и сети" / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : ил. - ISBN 5318005373 : 114.17 р.
Допущено МО РФ
ГРНТИ 50.01
УДК:519.7(075.8)

Рубрики: Математическая кибернетика--Теория автоматов--Учебники ---
Ключевые слова: теория автоматов -- преобразователи информации -- функциональные преобразователи -- булевы функции -- математическая логика -- логическое программирование -- конечные автоматы -- автоматное преобразование информации -- автоматные языки -- машины Тьюринга -- учебники
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)

   004.4
   Д404
    Джексон, Питер.
    Введение в экспертные системы [Текст] : пер. с англ. / П. Джексон. - 3-е изд. - СПб. : Вильямс, 2001. - 622 с. - ISBN 5845901502 : 198.90 р.
ГРНТИ 28.23.35
УДК:004.4

Рубрики: Искусственный интеллект--Экспертные системы ---
Ключевые слова: искусственный интеллект -- экспертные системы -- представление знаний -- символические вычисления -- ассоциативные сети -- фреймы -- объектно-ориентированное программирование -- логическое программирование -- эвристические классификации -- гибридные системы -- языки программирования -- LISP -- PROLOG -- LOOPS -- FLAVORS -- CLIPS
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)

   004.4
   О-425
    Одинцов, Игорь.
    Профессиональное программирование [Текст] : системный подход / И.О. Одинцов. - СПб. : BHV, 2002. - 510 с. : ил. - (Мастер). - ISBN 5941571313 : 125.40 р.
ГРНТИ 50.35.37

ББК 004.42

Рубрики: Программирование ---
Ключевые слова: программирование -- языки программирования -- императивное программирование -- объектно-ориентированное программирование -- функциональное программирование -- логическое программирование -- языки моделирования -- формальные языки -- архитектурная платформа -- операционная платформа -- карьера программиста -- информационные системы
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)

   51
   И269
    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р.
Допущено МО РФ
ГРНТИ 27.03.19
27.03.17
УДК:510.6(075.8)

Рубрики: Математика--Математическая логика--Теория алгоритмов--Учебные пособия ---
Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия
Экземпляры всего: 5
Mесто хранения: чз (2), аб (3)
Свободны: чз (2), аб (3)

   519.8
   Д706
   
    Достоверный и правдоподобный вывод в интеллектуальных системах : учеб. пособие для вузов по напр. "Прикл. математика и информатика", "Информатика и вычисл. техника" / Под ред. В.Н. Вагина, Д.А. Поспелова. - Изд. 2-е, испр. и доп. - М. : ФИЗМАТЛИТ, 2008. - 710 с. : ил. - ISBN 978-5-9221-0962-8 : 660 р.
Допущено МО РФ
ГРНТИ 28.29.03
28
УДК:519.816(075.8)007(075.8)

Рубрики: Теория принятия решений--Учебные пособия --- Кибернетика ---
Ключевые слова: интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия
Доп.точки доступа: Вагин, Вадим Николаевич \ред.\ --- Поспелов, Дмитрий Александрович \ред.\ ---
Экземпляры всего: 5
Mесто хранения: чз (3), аб (2)
Свободны: чз (3), аб (2)

   Ю4
   Ж798
    Жоль, Константин Константинович.
    Логика : учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). - ISBN 5-238-00664-0 : 280 р.
Рек. УМЦ
ГРНТИ 02.21

ББК Ю4я73

Рубрики: Логика--Учебные пособия ---
Ключевые слова: символическая логика -- математическая логика -- логика высказываний -- пропозициональная логика -- логика предикатов -- конструктивистская логика -- интуиционистская логика -- модальная логика -- логическая семантика -- логическое программирование -- учебные пособия
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)

   004
   Н508
    Немчинова, Татьяна Владимировна.
    Информатика [Текст] : учебное пособие для специальностей высшего профессионального образования / Т. В. Немчинова, Т. А. Токтохоева ; Бурят. гос. ун-т. - Улан-Удэ : [б. и.], 2009. - 192 с. : ил. ; 20 см. - 100 экз.. - (в пер.) : 100.00 р.
ГРНТИ 20
УДК:004(075.8)

Рубрики: Информатика--Учебные пособия ---
Ключевые слова: информатика -- информационные технологии -- информационные ресурсы -- кодирование данных -- основные блоки персонального компьютера -- микропроцессоры -- интерфейсы -- офисные программные средства -- прикладное программное обеспечение -- текстовые редакторы -- электронные таблицы -- компьютерная графика -- офисные интегрированные программы -- алгоритмизация -- программирование -- языки программирования -- процедурное программирование -- логическое программирование -- языки моделирования -- компьютерные сети -- Интернет -- сетевые стандарты -- HTML -- корпоративные сети -- информационная безопасность -- учебные пособия
Доп.точки доступа: Токтохоева, Татьяна Александровна --- Бурятский государственный университет (Улан-Удэ)

Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

   681.3.06
   Т464
    Тихонов, Ю. В.
    МПролог - язык логического программирования: Версия 2.3. : производственно-практическое издание / Ю. В. Тихонов. - М. : Машиностроение, 1994. - 80 с. : ил. - (Б-ка "Пользователю ПК"). - Б. ц.
ГРНТИ 50.05.09
УДК:004.43

Рубрики: Языки программирования--МПролог ---
Ключевые слова: языки программирования -- МПролог -- логическое программирование
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

   6П2.154
   С887
    Стэбли, Д.
    Логическое программирование в системе/360 : научное издание / Д Стэбли ; Пер. с англ. А. П. Гагарина [и др.]; Под ред. Л. Д. Райкова, М. Р. Шура-Буры. - 2-е изд., стереотип. - М. : Мир, 1979. - 752 с. : ил. - 3.30 р.
В б-ке есть и др. изд.
ГРНТИ 50.05.13
УДК:004.42

Рубрики: Программирование ЭВМ--Вычислительные системы ---
Ключевые слова: системы /360/ -- логическое программирование
Доп.точки доступа: Гагарин, А.П. \пер.\ --- Райков, Л.Д. \ред.\ --- Шура-Бура, М.Р. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

   004
   С347
    Сидоркина, Ирина Геннадьевна.
    Системы искусственного интеллекта : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника" / И. Г. Сидоркина. - Москва : КНОРУС, 2014. - 245, [1] с. : ил. ; 21 см. - Библиогр.: с. 344-345 (34 назв.). - 17 экз.. - ISBN 978-5-406-03308-1 (в пер.) : 264.00 р.
Допущено УМО
ГРНТИ 28.23
УДК:004.8(075.8)

Рубрики: Информационные технологии--Искусственный интеллект--Учебные пособия ---
Ключевые слова: искусственный интеллект -- логическое программирование -- экспертные системы -- интеллектуальные технологии обработки информации -- система моделирования ЭО КАРРА -- стандартные функции ЭО КАРРА -- создание интерфейсов -- ИО CLIPS -- ИС Protégé -- учебные пособия
Экземпляры всего: 5
Mесто хранения: кх (2), аб (2), чз (1)
Свободны: кх (2), аб (2), чз (1)

   51
   Л694
   
    Логический подход к искусственному интеллекту : От классической логики к логическому программированию / А. Тейз [и др.] ; пер. с фр. П. П. Пермякова ; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l'intelligence artificielle / Andrè Thayse, Pascal Gribomont, Georges Louis. - Paris. - 20000 экз.. - ISBN 5-03-001636-8 (в пер.) : 2.90 р.
ГРНТИ 27.03.19
УДК:510.6007

Рубрики: Математическая логика--Монографии ---
Ключевые слова: математическая логика -- логическое программирование -- искусственный интеллект -- монографии
Доп.точки доступа: Тейз, Андре --- Грибомон, Паскаль --- Луи, Жорж --- Снийерс, Доминик --- Пермяков, П. П. \пер.\ --- Гаврилов, Г. П. \ред.\ --- Thayse, Andrè
Gribomont, Pascal
Louis, Georges

Экземпляры всего: 3
Mесто хранения: чз (2), зал ППС (1)
Свободны: чз (2), зал ППС (1)


   Ванькова, Валентина Сергеевна
    Системы искусственного интеллекта [Электронный ресурс] : учебное пособие : в 2-х ч. / В. С. Ванькова, Ю. М. Мартынюк, Н. Н. Хабаров. - Тула : Издательство ТГПУ им. Л. Н. Толстого, 2012 - .
   Ч. 1 : Рекурсивно-логическое программирование. - 2012. - 63 с. - Б. ц.

Рубрики: Программирование--Учебные пособия ---
Ключевые слова: программирование -- логическое программирование -- программа -- Visual -- Prolog -- системы искусственного интеллекта -- рекурсивно-логическое программирование -- учебные пособия
Аннотация: Подробно рассмотрены цели и функции системы управления персоналом, методы ее построения, типы организационных структур, вопросы формирования кадровой политики, стратегия управления персоналом, маркетинг персонала. Учебное пособие предназначено для подготовки бакалавров направления 190700.62 "Технология транспортных процессов".
Перейти к внешнему ресурсу полный текст в ЭБС "Руконт"

Доп.точки доступа: Мартынюк, Юлия Михайловна --- Хабаров, Николай Николаевич ---
Свободных экз. нет