| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :23
 В других БД по вашему запросу найдено:Электронный каталог (10)ЭБС "ЛАНЬ" (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 20
 1-20    21-23 
1.

    Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
   146 : Логика и семантическое программирование. - 1992. - 202 с. : ил. - Библиогр. - ISBN 5-7623-0417-5 : 150.00 р.
УДК

Рубрики: вычислительная техника--ЭВМ

Кл.слова (ненормированные):
вычислительные системы -- логическое программирование -- семантическое программирование -- языки программирования
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

2.

    Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
   Вып. 148 : Логические методы в информатике. - 1993. - 176 с. : ил. - Библиогр. - ISBN 5-7623-0675-5 : 1000.00 р.
УДК

Рубрики: вычислительная техника--ЭВМ

Кл.слова (ненормированные):
логическое программирование -- операционная семантика -- денотационная семантика -- семантическое программирование -- искусственный интеллект -- экспертные системы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

3.

    Чери, Стефано.
    Логическое программирование и базы данных [Текст] = Logic Programming and Databases : научное издание / С. Чери, Г. Готлоб, Л. Танка ; . - Москва : Мир, 1992. - 352 с. : ил. - Библиогр. - ISBN 5-03-002472-7 : 4000.00 р.
УДК

Рубрики: вычислительная техника--базы и банки данных--программирование

Кл.слова (ненормированные):
логическое программирование -- базы данных -- Пролог -- Дейталог
Аннотация: В книге изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Готлоб, Г.
Танка, Л.

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

4.

    Goltz, Hans-Joachim.
    Grundlagen der logischen Programmierung [Текст] : научное издание / Hans-Joachim Goltz, Heinrich Herre. - Berlin : Akad.-Verl., 1990. - 319 S. - (Informatik. Kybernetik. Rechentechnik ; Bd. 34). - Bibliogr. - ISBN 3-05-500690-9 : 175000.00 р.
УДК

Рубрики: вычислительная техника--ЭВМ

Кл.слова (ненормированные):
логическое программирование
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Herre, Heinrich
Найти похожие

5.

    Бен-Ари, М.
    Языки программирования: Практический сравнительный анализ [Текст] = Understanding Programming Languages : учеб. по яз. программир. / М. Бен-Ари ; . - Москва : Мир, 2000. - 366, [2] с. - ISBN 5-03-003314-9. - ISBN 0-471-95846-8 : 40.00 р.
УДК

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- объектно-ориентированное программирование (ООП) -- логическое программирование -- функциональное программирование -- C++ -- Ada 95 -- Java -- Prolog -- PL/1 -- ML
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

6.

    Попов, С. В.
    Логическое моделирование [Текст] : научное издание / С. В. Попов ; ред. Н. М. Шумакова. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255 (26 назв.). - ISBN 5-89513-049-6 (в пер.) : 120.00 р.
УДК

Рубрики: вычислительная техника--ЭВМ

Кл.слова (ненормированные):
логическое программирование -- логическое моделирование -- логические задачи
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Шумакова, Н. М.
Найти похожие

7.

    Подколзин, Александр Сергеевич.
    Компьютерное моделирование логических процессов. Архитектура и язык решателя задач [Текст] : научное издание / А. С. Подколзин. - Москва : ФИЗМАТЛИТ, 2008. - 1022, [2] с. - Библиогр.: с. 1021-1022 (31 назв.). - ISBN 978-5-9221-1045-7 (в пер.) : 500.00 р.
УДК

Рубрики: вычислительная техника--искусственный интеллект

Кл.слова (ненормированные):
логическое программирование -- компьютерное моделирование -- алгоритмические языки -- ЛОС -- ГЕНОЛОГ -- логический описатель ситуаций -- генетический язык логического программирования -- решатели
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

8.

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Потоцкий, Сергей Иванович
Найти похожие

9.

    Сергиевский, Г. М.
    Функциональное и логическое программирование [Текст] : учеб. пособие / Г. М. Сергиевский, Н. Г. Волченков. - М. : ИЦ "Академия", 2010. - 320 с. : ил. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 313-314. - ISBN 978-5-7695-6433-8 : 490.60 р.
Гриф: допущено Умо вузов по университет. политехн. образованию в качестве учеб. пособия для студ. вузов, обуч. по напр. "Информатика и вычислительная техника"
ГРНТИ
УДК
ББК 32.973-018.2

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛИСП -- ПРОЛОГ -- ЯЗЫК ПРОГРАММИРОВАНИЯ ПРОЛОГ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Волченков, Н. Г.
Найти похожие

10.

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

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- C++ -- Си -- объектно-ориентированное программирование (ООП) -- функциональное программирование -- ЛИСП -- логическое программирование -- Пролог -- визуальное программирование
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

11.

    Перспективы развития вычислительной техники [Текст] : в 11 кн. : справ. пособие / Ю. М. Смирнов [и др.]. - М. : Высшая школа, 1989 - .
   Кн. 2 : Интеллектуализация ЭВМ/Е. С. Кузин, А. И. Ройтман, И. Б. Фоминых, Г. К. Хахалин. - 1989. - 159 с. : ил. ; 20см. - ISBN 5060005380 : 0.45 р.
ГРНТИ
УДК
ББК 32.97

Рубрики: Вычислительная техника--Электронные вычислительные машины

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


Доп. точки доступа:
Смирнов, Ю. М.
Кузин, Е. С.
Ройтман, А. И.
Фоминых, И. Б.
Хахалин, Г. К.
Найти похожие

12.

   
    Компьютерная алгебра [Текст] : символьные и алгебраические вычисления / под ред. Б. Бухбергера [и др.] ; пер. с англ. В. П. Гердта. - М. : Мир, 1986. - 392 с. : ил. ; 22см. - 3.50 р.
ГРНТИ
УДК
ББК 22.14+22.16

Рубрики: Математика--Алгебра

Кл.слова (ненормированные):
аксиомы -- алгебра -- алгебра Дирака -- Дирак -- алгоритм -- алгоритм Аткинсона -- Аткинсон -- арифметика -- аппроксимация -- базис Грёбнера -- Грёнер -- вычислимость -- дифференциальные уравнения -- интегралы -- категории -- лемма -- лемма Гензеля -- Гензель -- линейное программирование -- логическое программирование
Аннотация: Коллективная монография зарубежных учёных, дающая систематическое изложение алгоритмических аспектов и математических методов новой области исследований- аналитических вычислений на ЭВМ. Отражены полученные результаты исследований и наиболее важные нерешенные проблемы. Прослеживается чёткая связь методов современной алгебры с вопросами их реализации на ЭВМ.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Бухбергер, Б.
Коллинз, Дж.
Лоос, Р.
Говорухин, Н. Н.
Гердт, В. П.
Найти похожие

13.

    Грэй, П.
    Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. - М. : Машиностроение, 1989. - 368 с. : ил. ; 22см. - ISBN 5-217-00178-Х : 1.80 р.
ГРНТИ
УДК
ББК 32.965

Рубрики: Математика--Математическая логика

   Математика--Линейная алгебра


Кл.слова (ненормированные):
булевы алгебры -- дистрибутивный закон -- математика -- математическая логика -- линейная алгебра -- предикаты -- база данных -- экспертные системы -- логическое программирование -- язык Пролог -- оператор -- реляционная модель -- язык QUEL -- язык QBE -- язык FQL -- язык НОРЕ -- аппликативный язык -- реляционная алгебра
Аннотация: Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

14.

    Муренко, Л. Л.
    Программаторы запоминающих и логических интегральных микросхем [Текст] / Л. Л. Муренко, В. М. Чурков, Ю. Ф. Широков ; ред. В. Г. Домрачев. - М. : Энергоатомиздат, 1988. - 128 с. : ил. ; 20 см. - (Микропроцессорные БИС и их применение). - Библиогр.: с. 127. - ISBN 5-283-01491-6 : 0.40 р.
ГРНТИ
УДК
ББК 32.97

Рубрики: Вычислительная техника--Программирование

Кл.слова (ненормированные):
программирование -- программируемые микросхемы -- программаторы -- логическое программирование -- логическое проектирование -- логические микросхемы -- интегральные микросхемы -- интегральные логические элементы
Аннотация: Даны сведения по электрически программируемым ИМС с учетом их технологии изготовления и функционального состава, средствам программирования ИМС на основе микропроцессоров и персональных ЭВМ, приведена классификация, способы построения и методика их применения.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Чурков, В. М.
Широков, Ю. Ф.
Домрачев, В. Г.
Найти похожие

15.

   
    Язык Пролог в пятом поколении ЭВМ [Текст] : cб. ст. : пер. с англ. / ред. Н. И. Ильинский. - М. : Мир, 1988. - 501 с. : ил. ; 21 см. - ISBN 5-03-000537-4 : 2.60 р.
ГРНТИ
УДК
ББК 22.18

Рубрики: Вычислительная техника--Языки программирования

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


Доп. точки доступа:
Ильинский, Н. И.
Найти похожие

16.

    Шрайнер, П. А.
    Основы программирования на языке Пролог [Текст] : курс лекций : учеб. пособие / П. А. Шрайнер ; Интернет-Университет Информ. Технологий (Москва). - М. : ИУИТ, 2012. - 176 с. ; 22 см. - (Основы информационных технологий). - Библиогр.: с. 173-175. - ISBN 978-5-9556-0034-5 : 307.23 р.
Гриф: рек. для студ. вузов, обучающихся по спец. в области информ. технологий
ГРНТИ
УДК
ББК 32.973.26-018.1

Рубрики: Вычислительная техника--Языки программирования

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



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

17.

    Цуканова, Н. И.
    Логическое программирование на языке Visual Prolog [Текст] : учеб. пособие / Н. И. Цуканова, Т. А. Дмитриева. - М. : Горячая линия - Телеком, 2008. - 144 с. : ил. ; 21 см. - (Учебное пособие для высших учебных заведений). - Библиогр.: с. 141 (14 назв.). - ISBN 978-5-9912-0033-2 : 236.17 р.
Гриф: допущено УМО вузов по унив. политехническому образованию в качестве учеб. пособия для студ. вузов, обучающихся по спец. 230105-"Программное обеспечение вычислительной техники и автоматизированных систем"
ГРНТИ
УДК
ББК 32.973.26-018.1

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫК ПРОЛОГ -- АРИФМЕТИЧЕСКИЕ ВЫРАЖЕНИЯ -- ПРЕДИКАТЫ -- ТЕРМЫ -- КОНСТАНТЫ -- РЕКУРСИЯ -- ОТСЕЧЕНИЕ -- СПИСКИ -- СИМВОЛЫ -- СТРОКИ -- СТРУКТУРЫ -- СОЗДАНИЕ ПРИЛОЖЕНИЙ -- ЯЗЫК VISUAL PROLOG
Аннотация: Изложены основы логического программирования на примере языка Visual Prolog. Рассмотрены описание предметной области и структура программы, алгоритм работы интерпретатора, ввод - вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные примеры, иллюстрирующие теоретические положения их решения, а также контрольные вопросы и практические задания. Многие примеры ориентированы на создание реляционной базы данных и написание различных запросов к ней. Пособие может быть полезно при изучении курса "Функциональное и логическое программирование".
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Дмитриева, Т. А.
Найти похожие

18.

   
    Модели и методы искусственного интеллекта [Текст] : учеб. пособие для студ. спец. "Информационные системы и технологии". "Прикладная информатика в экономике", направлений "Информационные системы и технологии", "Информационные технологии", "Информатика и вычислительная техника", "Программная инженерия" / О. Н. Долинина [и др.] ; под ред. О. Н. Долининой ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2015. - 248 с. : ил. ; 21 см. - Библиогр.: с. 242-243 (35 назв.). - ISBN 978-5-7433-2831-4 : 76.71 р.
ГРНТИ
УДК
ББК 32.813

Рубрики: Вычислительная техника--Искусственный интеллект

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


Доп. точки доступа:
Долинина, О. Н.
Ермаков, А. В.
Файфель, Б. Л.
Шварц, А. Ю.
Долинина, О. Н.
Найти похожие

19.

    Карр, Дж.
    Лекции по программированию [Текст] / Дж. Карр ; под ред. В. М. Курочкина = Lectures given at the university of michigan / J. W. Carr : пер. с англ. - М. : Изд-во иностр. лит., 1963. - 288 с. : ил. ; 21 см. - Библиогр.: с. 276-286. - 1.11 р.
Тит. л. парал. на англ. яз.
УДК

Кл.слова (ненормированные):
СТРУКТУРА ПРОГРАММЫ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- МЕТОДЫ ПРОГРАММИРОВАНИЯ -- АВТОМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПОДПРОГРАММЫ -- СЛУЖЕБНЫЕ ПРОГРАММЫ -- КОМПЛЕКСНЫЕ СИСТЕМЫ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- МИКРОПРОГРАММИРОВАНИЕ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Курочкин, В. М.
Найти похожие

20.

    Алексеев, В. Е.
    Графы и алгоритмы. Структуры данных. Модели вычислений [Текст] : учебник / В. Е. Алексеев, В. А. Таланов. - М. : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2014. - 320 с. : ил. ; 22 см. - (Основы информационных технологий). - Библиогр.: с. 318-319 (24 назв.). - ISBN 978-5-9556-0066-6. - ISBN 978-5-94774-543-6 : 230.00 р.
Гриф: рек. Научно-метод. советом по прикладной математике и информатике УМО ун-тов РФ в качестве учеб. для студ., обучающихся по спец. 010200-Прикладная математика и информатика и по направлению 510200-Прикладаая математика и информатика
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--Дискретная математика

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


Доп. точки доступа:
Таланов, В. А.
Найти похожие

 1-20    21-23 
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)