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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

Статьи

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

Периодика

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

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

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

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

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

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

Кудинов, Ю. И.
Практикум по основам современной информатики [Электронный ресурс] / Ю. И. Кудинов, Ф. Ф. Пащенко, А. Ю. Келина. - Санкт-Петербург : Лань, 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.032.26(07)
Б 26

Барский, А. Б.
Логические нейронные сети [Электронный ресурс] / А. Б. Барский. - 2-е изд. - Москва : ИНТУИТ, 2016. - 492 с. - ISBN 978-5-94774-646-4 : Б. ц.

УДК

004.032.26(07)

Кл.слова (ненормированные):
бизнес -- экономика -- моделирование -- искусственный интеллект -- учебные пособия -- принятие решений -- нейронные сети -- трассировка -- самообучение -- логические нейронные сети -- математическая логика -- нейросетевые технологии -- корректировки -- структурное обоснование -- преобразования -- логическое программирование -- нейросетевые самообучающие системы -- ЭБС Лань
Аннотация: На основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Найти похожие

004.43
Г 70

Городняя, Л. В.
Парадигма программирования [Электронный ресурс] : учебное пособие для вузов / Л. В. Городняя. - 2-е изд., стер. - Санкт-Петербург : Лань, 2021. - 232 с. - ISBN 978-5-8114-6680-1 : Б. ц.

УДК

004.43

ББК 32.973-18я73

Кл.слова (ненормированные):
парадигмы программирования -- языки низкого уровня -- языки высокого уровня -- функциональное программирование -- логическое программирование -- объектно-ориентированное программирование -- параллельное программирование -- эбс лань
Аннотация: Курс лекций посвящен проблеме анализа, сравнения и определения парадигм программирования и парадигмальной характеристике языков и систем программирования. Содержание представляет интерес для специалистов по программированию и информационным технологиям.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Найти похожие

   004.4
   Т 98

    Тюгашев, Андрей Александрович.
    Языки программирования [Текст] : [учебное пособие по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"] / А. А. Тюгашев. - Москва [и др.] : Питер, 2015. - 333 с. : ил. ; 24 см. - (Учебное пособие) (Стандарт третьего поколения). - Библиогр.: с. 274-275 (24 назв.). - ISBN 978-5-496-01006-1 : 1379.00 р.

ГРНТИ	50.05.09
УДК	004.43(075.8)

Рубрики: C++, язык программирования

   C, язык программирования

   LISP, язык программирования

   PROLOG, язык программирования

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ГРИФ УМО ВУЗОВ ПО ОБРАЗОВАНИЮ В ОБЛАСТИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ -- ИМПЕРАТИВНОЕ ПРОГРАММИРОВАНИЕ -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ВИЗУАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЭЗОТЕРИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОГРАММНЫЕ СРЕДСТВА -- ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНЫХ СРЕДСТВ -- СИ (ЯЗЫК ПРОГРАММИРОВАНИЯ)
Экземпляры всего: 12
чз№2 (10), абунл (1), кнхр (1)
Свободны: чз№2 (10), кнхр (1)

Найти похожие

   004
   Б 26

    Барский, Аркадий Бенционович.
    Логические нейронные сети [Текст] : учебное пособие / А. Б. Барский. - Москва : Интернет-Университет Информ. Технологий : БИНОМ. Лаборатория знаний, 2010. - 351 с. : ил., табл. - (Основы информационных технологий). - ISBN 978-5-9556-0094-9. - ISBN 978-5-94774-646-4 : 318.83 р.

ГРНТИ	50.39.29
УДК	004.032.26(075.8)

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- нейросетевые технологии -- МАТЕМАТИЧЕСКАЯ ЛОГИКА событий -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- МАРШРУТИЗАЦИЯ -- ИНФОРМАЦИОННЫЕ СИСТЕМЫ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- НЕЙРОСЕТЕВЫЕ модели маршрутизации -- ПРОЛОГ -- нейрокомпьютеры -- СИСТЕМЫ Принятия решений
Экземпляры всего: 2
чз№2 (1), кнхр (1)
Свободны: чз№2 (1), кнхр (1)

Найти похожие

   004.4
   С 32

    Сергиевский, Георгий Максимович.
    Функциональное и логическое программирование [Текст] : [учеб. пособие для вузов по направлению "Информатика и вычисл. техника"] / Г. М. Сергиевский, Н. Г. Волченков. - М. : Академия, 2010. - 317, [1] с. : ил. - (Высшее профессиональное образование) (Информатика и вычислительная техника). - ISBN 978-5-7695-6433-8 : 482.00 р.

ГРНТИ	50.05
УДК	004.4(075.8)

Кл.слова (ненормированные):
ГРИФ УМО ВУЗОВ ПО УНИВЕРСИТЕТСКОМУ ПОЛИТЕХНИЧЕСКОМУ ОБРАЗОВАНИЮ -- УЧЕБНЫЕ ПОСОБИЯ -- ИНТЕРНЕТ-РЕСУРСЫ -- трансформации компьютерных программ -- комбинаторная логика -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- Лисп -- Haskell -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛЯмбда-исчисления -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ЧАСТИЧНЫЕ вычисления
Доп.точки доступа:
Волченков, Николай Геннадьевич

Экземпляры всего: 6
чз№2 (5), кнхр (1)
Свободны: чз№2 (4), кнхр (1)

Найти похожие

   004
   И 74

    Информатика и ИКТ [Текст] : задачник-практикум : в 2 т. / Л. А. Залогова, М. А. Плаксин, С. В. Русаков [и др.] ; под редакцией И. Семакина, Е. Хеннера. - 3-е изд. - Москва : БИНОМ. Лаборатория знаний, 2011 - . - ISBN 978-5-9963-0475-2.
   Т. 2. - 2011. - 294 с. : табл., ил. - Библиогр.: с. 294 (17 назв.). - ISBN 978-5-9963-0477-6 : 82.00 р.

20.01.33	50.01.33
УДК	004(075.3)

Рубрики: Информатика

Кл.слова (ненормированные):
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- УЧЕБНЫЕ ПОСОБИЯ -- ЗАДАЧНИКИ-ПРАКТИКУМы -- КОМПЬЮТЕРНАЯ ГРАФИКА -- БАЗЫ ДАННЫХ -- ЭЛЕКТРОННЫЕ ТАБЛИЦЫ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- ТЕЛЕКОММУНИКАЦИИ компьютерные -- КОМПЬЮТЕРНЫЕ ТЕлекоммуникации
Доп.точки доступа:
Залогова, Л. А.
Плаксин, М. А.
Русаков, С. В.
Русакова, О. Л.
Семакин, И. Г.
Хеннер, Е. К.
Шеина, Т. Ю.
Семакин, И. Г. \ред.\
Хеннер, Е. \ред.\

Экземпляры всего: 2
чз№2 (2)
Свободны: чз№2 (2)

Найти похожие

   004
   C 34

    Сидоркина, Ирина Геннадьевна.
    Системы искусственного интеллекта [Текст] : [учеб. пособие для вузов по направлению 230100 "Информатика и вычисл. техника"] / И. Г. Сидоркина. - М. : Кнорус, 2011. - 245 с. : ил. - ISBN 978-5-406-00449-4 : 360.00 р.

28.23.01	50.41.21
УДК	004.8(075.8)

Рубрики: Кибернетика

Россия
Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ГРИФ УМО ВУЗОВ ПО УНИВЕРСИТЕТСКОМУ ПОЛИТЕХНИЧЕСКОМУ ОБРАЗОВАНИЮ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- KAPPA (экспертная оболочка) -- CLIPS (инструментальная оболочка) -- ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- НЕЙРОННЫЕ СЕТИ
Экземпляры всего: 88
чз№2 (12), кнхр (1), абунл (75)
Свободны: чз№2 (11), кнхр (1), абунл (75)

Найти похожие

   004.4
   Ч-51

    Чесноков, Сергей Евгеньевич.
    Функциональное и логическое программирование [Текст] : лаб. практикум / С. Е. Чесноков. - Йошкар-Ола : МарГТУ, 2005. - 239 c. : ил. - 32.47 р.

50.05
УДК	004.4(076.5)

Кл.слова (ненормированные):
Программирование функциональное -- Программирование логическое -- Лабораторные практикумы -- Функциональное программирование -- Логическое программирование
Экземпляры всего: 51
чз№2 (3), кнхр (1), абунл (47)
Свободны: чз№2 (3), кнхр (1), абунл (47)

Найти похожие

10.

   51
   Л 69


    Логический подход к искусственному интеллекту [Текст] : от классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др.] ; Пер. с фр. П.П. Пермякова. - М. : Мир, 1990. - 429 c. - ISBN 5-03-001636-8 : 2.90 р.

УДК

004.8

510.6

Кл.слова (ненормированные):
Логика -- Логическое программирование -- Программирование логическое -- Искусственный интеллект
Доп.точки доступа:
Тейз, А.
Грибомон, П.
Луи, Ж.
Снийерс, Д.
Водон, П.
Гоше, П.
Грегуар, Э.
Санчес, Э.
Дельсарт, Ф.
Гаврилов, Г. П. \ред.\

Экземпляры всего: 2
чз№1 (1), кнхр (1)
Свободны: чз№1 (1), кнхр (1)

Найти похожие

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

Статистика за 29.05.2024
Число запросов	7850
Число посетителей	834
Число заказов	0