Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ<.>)

Общее количество найденных документов : 10
Показаны документы с 1 по 10

Вид документа : Однотомное издание
Шифр издания : 004/Б 26
Автор(ы) : Барский, Аркадий Бенционович
Заглавие : Логические нейронные сети : учебное пособие
Выходные данные : Москва: Интернет-Университет Информ. Технологий: БИНОМ. Лаборатория знаний, 2010
Колич.характеристики :351 с.: ил., табл.
Серия: Основы информационных технологий
ISBN, Цена 978-5-9556-0094-9: 318.83 р.
ISBN, Цена 978-5-94774-646-4: Б.ц.
ГРНТИ : 50.39.29
УДК : 004.032.26(075.8)
Ключевые слова (''Своб.индексиров.''): учебные пособия--нейросетевые технологии--математическая логика событий--логическое программирование--маршрутизация--информационные системы--искусственный интеллект--нейросетевые модели маршрутизации--пролог--нейрокомпьютеры--системы принятия решений
Экземпляры : всего : чз№2(1), кнхр(1)
Свободны : чз№2(1), кнхр(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 004.4/С 32
Автор(ы) : Сергиевский, Георгий Максимович, Волченков, Николай Геннадьевич
Заглавие : Функциональное и логическое программирование : [учеб. пособие для вузов по направлению "Информатика и вычисл. техника"]
Выходные данные : М.: Академия, 2010
Колич.характеристики :317, [1] с.: ил.
Серия: Высшее профессиональное образование .
Информатика и вычислительная техника
ISBN, Цена 978-5-7695-6433-8: 482.00, 482.00, р.
ГРНТИ : 50.05
УДК : 004.4(075.8)
Ключевые слова (''Своб.индексиров.''): гриф умо вузов по университетскому политехническому образованию--учебные пособия--интернет-ресурсы--трансформации компьютерных программ--комбинаторная логика--функциональное программирование--лисп--haskell--логическое программирование--лямбда-исчисления--пролог (язык программирования)--частичные вычисления
Экземпляры : всего : чз№2(5), кнхр(1)
Свободны : чз№2(4), кнхр(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 004/C 34
Автор(ы) : Сидоркина, Ирина Геннадьевна
Заглавие : Системы искусственного интеллекта : [учеб. пособие для вузов по направлению 230100 "Информатика и вычисл. техника"]
Выходные данные : М.: Кнорус, 2011
Колич.характеристики :245 с.: ил.
ISBN, Цена 978-5-406-00449-4: 360.00, 360.00, р.
ГРНТИ : 28.23.01 + 50.41.21
УДК : 004.8(075.8)
Предметные рубрики: Кибернетика
Географич. рубрики: Россия
Ключевые слова (''Своб.индексиров.''): учебные пособия--гриф умо вузов по университетскому политехническому образованию--логическое программирование--искусственный интеллект--экспертные системы--kappa (экспертная оболочка)--clips (инструментальная оболочка)--представление знаний--пролог (язык программирования)--интеллектуальные системы--нейронные сети
Экземпляры : всего 86: чз№2(12), кнхр(1), абунл(75)
Свободны : чз№2(11), кнхр(1), абунл(75)
Найти похожие

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Кудинов Ю. И., Пащенко Ф. Ф., Келина А. Ю.,
Заглавие : Практикум по основам современной информатики / Ю. И. Кудинов, Ф. Ф. Пащенко, А. Ю. Келина
Выходные данные : Санкт-Петербург: Лань, 2022
Колич.характеристики :352 с.
ISBN, Цена 978-5-8114-1152-8: Б.ц.
Ключевые слова (''Своб.индексиров.''): компьютерные сети--базы данных--электронные таблицы--практикумы--тестовые задачи--защита информации--технологии программирования--современная информатика--основы информатики--информационные процессы--информация--технические средства--программные средства--программное обеспечение--алгоритмизация--программирование--функциональные задачи--вычислительные задачи--решение задач--access--basic--excel--power point--powerpoint--sql--windows--word--базы данных--высказывание--вычислительная техника--документ текст редактирование--зависимости аппроксимация--запрос--информатика--информация--информация количество--логика--логическое программирование--менеджер файловый--нейронная--оглавление--операционная--операционная система--предикат--предикатов логика--приложение работа--программирование на basic--процессор--сеть--сеть нейронная--система--создание презентаций--список запись фильтрация--таблица--табличный--текстовый--текстовый процессор--учебник и пособие--учебные пособия--файл--файл архивация--файл восстановление--форматирование процесс--электронная--эбс лань
Аннотация: Практикум — это обязательное дополнение к учебному пособию «Основы современной информатики». Он обеспечивает методическую поддержку практических и лабораторных занятий. С его помощью можно изучить теоретические разделы информатики, касающиеся информации и логики предикатов, и получить практические навыки освоения наиболее распространенных программных продуктов: операционной системы Windows, текстового процессора Word, табличного процессора Excel и др. Учебное пособие предназначено для студентов всех направлений, исключая тех, кто специализируется в области информатики.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 004.4/Ч-51
Автор(ы) : Чесноков, Сергей Евгеньевич
Заглавие : Функциональное и логическое программирование : лаб. практикум
Выходные данные : Йошкар-Ола: МарГТУ, 2005
Колич.характеристики :239 c.: ил.
Цена : 32.47 р.
ГРНТИ : 50.05
УДК : 004.4(076.5)
Ключевые слова (''Своб.индексиров.''): программирование функциональное--программирование логическое--лабораторные практикумы--функциональное программирование--логическое программирование
Экземпляры : всего 47: чз№2(3), кнхр(1), абунл(47)
Свободны : чз№2(3), кнхр(1), абунл(47)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/Л 69
Автор(ы) : Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф.
Заглавие : Логический подход к искусственному интеллекту : От классической логики к логическому программированию
Выходные данные : М.: Мир, 1990
Колич.характеристики :429 c.
ISBN, Цена 5-03-001636-8: 2.90 р.
УДК : 004.8 + 510.6
Ключевые слова (''Своб.индексиров.''): логика--логическое программирование--программирование логическое--искусственный интеллект
Экземпляры : всего 1: чз№1(1), кнхр(1)
Свободны : чз№1(1), кнхр(1)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : 004/И 74
Автор(ы) :
Заглавие : Информатика и ИКТ: задачник-практикум : в 2 т./ Л. А. Залогова, М. А. Плаксин, С. В. Русаков [и др.] ; под редакцией И. Семакина, Е. Хеннера. - 3-е изд. Т. 2
Выходные данные : Москва: БИНОМ. Лаборатория знаний, 2011
Колич.характеристики :294 с.: табл., ил.
Примечания : Библиогр.: с. 294 (17 назв.)
ISBN, Цена 978-5-9963-0477-6: 82.00, 82.00, р.
ГРНТИ : 20.01.33 + 50.01.33
УДК : 004(075.3)
Предметные рубрики: Информатика
Ключевые слова (''Своб.индексиров.''): информационные технологии--учебные пособия--задачники-практикумы--компьютерная графика--базы данных--электронные таблицы--логическое программирование--пролог (язык программирования)--программирование логическое--телекоммуникации компьютерные--компьютерные телекоммуникации
Экземпляры : всего : чз№2(2)
Свободны : чз№2(2)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 004.4/Т 98
Автор(ы) : Тюгашев, Андрей Александрович
Заглавие : Языки программирования : [учебное пособие по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"]
Выходные данные : Москва: Питер, 2015
Колич.характеристики :333 с.: ил.; 24 см
Серия: Учебное пособие .
Стандарт третьего поколения
Примечания : Библиогр.: с. 274-275 (24 назв.)
ISBN, Цена 978-5-496-01006-1: 1379.00, 1379.00, р.
ГРНТИ : 50.05.09
УДК : 004.43(075.8)
Предметные рубрики: C++, язык программирования
C, язык программирования
LISP, язык программирования
PROLOG, язык программирования
Экземпляры : всего 1: чз№2(10), абунл(1), кнхр(1)
Свободны : чз№2(10), кнхр(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 004.43/Г 70 яяя (другие формы)
Автор(ы) : Городняя Л. В.,
Заглавие : Парадигма программирования : учебное пособие для вузов/ Л. В. Городняя . -2-е изд., стер.
Выходные данные : Санкт-Петербург: Лань, 2021
Колич.характеристики :232 с.
ISBN, Цена 978-5-8114-6680-1: Б.ц.
УДК : 004.43
ББК : 32.973-18я73
Ключевые слова (''Своб.индексиров.''): парадигмы программирования--языки низкого уровня--языки высокого уровня--функциональное программирование--логическое программирование--объектно-ориентированное программирование--параллельное программирование--эбс лань
Аннотация: Курс лекций посвящен проблеме анализа, сравнения и определения парадигм программирования и парадигмальной характеристике языков и систем программирования. Содержание представляет интерес для специалистов по программированию и информационным технологиям.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 004.032.26(07)/Б 26 яяя (другие формы)
Автор(ы) : Барский А. Б.,
Заглавие : Логические нейронные сети / А. Б. Барский . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :492 с.
ISBN, Цена 978-5-94774-646-4: Б.ц.
УДК : 004.032.26(07)
Ключевые слова (''Своб.индексиров.''): бизнес--экономика--моделирование--искусственный интеллект--учебные пособия--принятие решений--нейронные сети--трассировка--самообучение--логические нейронные сети--математическая логика--нейросетевые технологии--корректировки--структурное обоснование--преобразования--логическое программирование--нейросетевые самообучающие системы--эбс лань
Аннотация: На основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

Тематический навигатор

Статистика за 06.07.2024
Число запросов	37599
Число посетителей	700
Число заказов	0