Новые поступления (книга в стадии обработки) Шелепова, Людмила Ивановна. Лексические разночтения в Прологе (по спискам XII-XVII вв.) [Текст] : учеб. пособие / Л. И. Шелепова ; . - Барнаул : [б. и.], 1992. - 106 с. - Библиогр. - ISBN 5-230-29679-8 : 7.00 р.
Рубрики: языкознание--славянские языки, 12-17 вв. Кл.слова (ненормированные): история русского языка -- древнерусский язык -- лексика -- Пролог -- письменность древнеславянская -- рукописи Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Стобо, Джон. Язык программирования Пролог [Текст] = Problem Solving with Prolog : учеб. пособие / Дж. Стобо ; . - Москва : Радио и связь, 1993. - 368 с. - ISBN 5-256-00921-4 : 450.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- Пролог Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Тихонов, Юрий Вениаминович. МПролог-язык логического программирования: Версия 2. 3 [Текст] : рекомендовано Мин.образования / Юрий Вениаминович Тихонов. - Москва : Машиностроение, 1994. - 80 с. - (Пользователю ПК). - Библиогр. - ISBN 5-217-01557-8 : 500.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- Пролог Аннотация: Приведена методика программирования на языке Пролог. Дано описание синтаксиса языка МПролог. Дано описание встроенных предикатов системы и ее графических возможностей. Приведено много примеров программ. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Грэй, Питер. Логика, алгебра и базы данных [Текст] : научное издание / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.
Рубрики: вычислительная техника--базы и банки данных Кл.слова (ненормированные): математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Чери, Стефано. Логическое программирование и базы данных [Текст] = Logic Programming and Databases : научное издание / С. Чери, Г. Готлоб, Л. Танка ; . - Москва : Мир, 1992. - 352 с. : ил. - Библиогр. - ISBN 5-03-002472-7 : 4000.00 р.
Рубрики: вычислительная техника--базы и банки данных--программирование Кл.слова (ненормированные): логическое программирование -- базы данных -- Пролог -- Дейталог Аннотация: В книге изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Готлоб, Г. Танка, Л. |
Новые поступления (книга в стадии обработки) Каймин, Виталий Адольфович. Научные основы и методика преподавания информатики [Текст] : метод. рекомендации для учителей и студентов педвузов / Виталий Адольфович Каймин. - Псков : Б. и., 1992. - 159 с. : ил. - Библиогр. - 2500.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- компьютерная грамотность -- Пролог Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Geske, Ulrich. Prolog: Grundlagen-Programmiermethoden-Standards [Текст] : научное издание / Ulrich Geske. - Berlin : Akad.-Verl., 1993. - 331 S. : Abb. - (Informatik ; Bd. 7.). - Bibliogr. - ISBN 3-05-501517-7 : 273000.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- Пролог -- программирование -- Prolog Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Каймин, Виталий Адольфович. Информатика [Текст] : учеб. для студентов вузов по естеств.-науч. спец. / Виталий Адольфович Каймин. - 2-е изд., перераб. и доп. - Москва : Инфра-М, 2002. - 271, [1] c. : ил. - (Высшее образование). - Библиогр. - ISBN 5-16-000612-5 (в пер.) : 56.56 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- персональный компьютер (ПК) -- базы данных -- Пролог -- языки программирования -- Internet Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Каймин, Виталий Адольфович. Информатика [Текст] : учеб. для студентов высш. учеб. заведений, обучающихся по естеств.-науч. направлениям и специальностям / Виталий Адольфович Каймин. - 4-е изд. - Москва : ИНФРА-М, 2004. - 283, [5] с. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 5-16-001928-6 (в пер.) : 103.103 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Аннотация: Изложены практические и теоретические основы информатики, включая вопросы работы на ЭВМ и в Интернет, а также методы решения задач с использованием электронных таблиц, баз данных и языков программирования Бейсик и Паскаль. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Державина, Ольга Александровна. Древняя Русь в русской литературе XIX века. (Сюжеты и образы древнерусской литературы в творчестве писателей XIX века) [Текст] / О. А. Державина ; Пролог. Избранные тексты / отв. ред. В. П. Гребенюк ; Акад. наук СССР, Ин-т мировой лит. им. А. М. Горького. - Москва : ИМЛИ АН СССР [изд.], 1990. - 416 с. - Имен. указ.: с. 392-412. - ISBN [Б. и.] : 35.00 р.
Рубрики: литературоведение--русская литература--Россия, 19 в.; 17 в. Кл.слова (ненормированные): персоналии -- русская литература -- древнерусская литература -- литературные образы -- литературные сюжеты -- сюжеты исторические -- Пролог Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Гребенюк, В. П. |
Новые поступления (книга в стадии обработки) Каймин, Виталий Адольфович. Информатика [Текст] : учебник / В. А. Каймин ; М-во образования Рос. Федерации. - 5-е изд. - Москва : ИНФРА-М, 2006. - 283, [5] с. : ил. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 5-16-002584-7 (в пер.) : 99.90 р. Рекомендовано М-вом образования Рос. Федерации в качестве учеб. для студентов вузов, обучающихся по естеств.- науч. направлениям и специальностям
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Каймин, Виталий Адольфович. Информатика [Текст] : учебник / В. А. Каймин. - 5-е изд. - Москва : Инфра-М, 2008. - 283, [5] с. : рис. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 978-5-16-002584-1 (в пер.) : 109.00 р. Рекомендовано М-вом образования РФ в качестве учеб. для студентов вузов, обучающихся по естеств.-науч. направлениям и специальностям
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Н. Г. Чернышевский. Статьи, исследования и материалы [Текст] : сборник научных трудов / Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т, Музей-усадьба Н. Г. Чернышевского ; редкол.: А. А. Демченко (отв. ред.) [и др.]. - Саратов : Издательский центр "Наука". - Загл., сост. каталогизатором : Чернышевский. Статьи, исследования и материалы. Вып. 16. - Саратов : Издательский центр "Наука", 2007. - 190, [2] с. - ISBN 978-5-91272-092-9 : 50.00 р.
Рубрики: литературоведение--русская литература--Россия, 19 в. Кл.слова (ненормированные): персоналии -- русская литература -- литературная критика -- "Современник" -- "Что делать?" -- романы -- "Остров Орельяно" -- "Пролог" -- личные библиотеки -- "Анна Каренина" -- интертекстуальность -- "Повести в повести" -- литературные связи -- проза -- литературные музеи -- Дом-музей Чернышевского Н. Г. Аннотация: В сборнике представлены труды ученых из Саппоро (Япония), Баку (Азербайджана), Елабуги (Татарстан), Тамбова, Саратова, Балашова, исследующих биографию Н. Г. Чернышевского, его философские и литературно-критические воззрения, созданные во время тюремного заключения в Петропавловской крепости в Сибири. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Демченко, Адольф Андреевич \\редкол.\\ (отв. ред.) Белов, Владимир Николаевич \\редкол.\\ Борисов, Юрий Николаевич \\редкол.\\ Захарова, И. Е. \\редкол.\\ Троицкий, Николай Алексеевич \\редкол.\\ |
Новые поступления (книга в стадии обработки) Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р. Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Потоцкий, Сергей Иванович |
Новые поступления (книга в стадии обработки) Сергиевский, Г. М. Функциональное и логическое программирование [Текст] : учеб. пособие / Г. М. Сергиевский, Н. Г. Волченков. - М. : ИЦ "Академия", 2010. - 320 с. : ил. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 313-314. - ISBN 978-5-7695-6433-8 : 490.60 р. Гриф: допущено Умо вузов по университет. политехн. образованию в качестве учеб. пособия для студ. вузов, обуч. по напр. "Информатика и вычислительная техника"
Рубрики: Вычислительная техника--Программирование Кл.слова (ненормированные): ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛИСП -- ПРОЛОГ -- ЯЗЫК ПРОГРАММИРОВАНИЯ ПРОЛОГ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Волченков, Н. Г. |
Новые поступления (книга в стадии обработки) Каймин, Виталий Адольфович. Информатика [Текст] : учебник / В. А. Каймин. - 6-е изд. - Москва : Инфра-М, 2010. - 283, [5] с. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 978-5-16-003778-3 (в пер.) : 189.97 р. Рекомендовано М-вом образования РФ в качестве учеб. для студентов вузов, обучающихся по естеств.-науч. направлениям и специальностям
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet Аннотация: В учебнике изложены современные основы информатики как компьютерной науки. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Тюгашев, Андрей Александрович. Языки программирования [Текст] : учебное пособие для бакалавров и специалистов / А. А. Тюгашев. - Москва ; Санкт-Петербург [и др.] : Питер, 2015. - 333, [3] с. : ил. - (Учебное пособие) (Стандарт третьего поколения). - Библиогр.: с. 274-275 (24 назв.). - ISBN 978-5-496-01006-1 (в пер.) : 1012.80 р. Допущено УМО вузов по образованию в обл. информац. безопасности Ин-та криптографии, связи и информатики Акад. ФСБ России в качестве учеб. пособия для студентов вузов, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- C++ -- Си -- объектно-ориентированное программирование (ООП) -- функциональное программирование -- ЛИСП -- логическое программирование -- Пролог -- визуальное программирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Братко, И. Программирование на языке Пролог для искусственного интеллекта [Текст] / И. Братко ; под ред., пер. с англ. А. М. Степанова, пер. с англ. А. И. Лупенко. - М. : Мир, 1990. - 560 с. : ил. ; 20см. - ISBN 5-03-001425-Х : 3.50,35000.00,40.00 р.
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): Пролог -- искусственный интеллект -- язык пролог -- кибернетика Аннотация: Книга содержит основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами. Дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Степанов, А. М. Лупенко, А. И. |
Новые поступления (книга в стадии обработки) Литературный сборник XVII века "Пролог". Русская старопечатная литература (XVI-первая четверть XVIII в.) [Текст] / О. А. Державина [и др.]. - М. : Наука, 1978. - 287 с. : ил. ; 20см. - 1.50 р.
Рубрики: Литературоведение--История литературы--Русская литература Кл.слова (ненормированные): древнерусская литература -- литература xviii века -- литература 17 века -- "Пролог" -- исследование литературы -- историческая поэтика -- история России -- культура России Аннотация: Настоящий коллективный труд посвящён популярнейшему на Руси старопечатному сборнику XVII в. под названием Пролог, включавшему в себя более 2000 литературных сюжетов. В монографическом исследовании рассматриваются издания Пролога в их связи с культурно-политическими условиями XVII в. К исследованию приложено описание содержания Пролога. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Державина, О. А. Демин, А. С. Елеонская, А. С. Капица, Ф. С. Курилов, А. С. Сазонова, Л. И. Черная, Л. А. |
Новые поступления (книга в стадии обработки) Стерлинг, Л. Искусство программирования на языке Пролог [Текст] / Л. Стерлинг, Э. Шапиро; пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова; под ред. Ю. Г. Дадаева. - М. : Мир, 1990. - 335 с. : ил. ; 24 см. - Библиогр.: с. 318-323. - ISBN 5-03-000406-8 : 2.70; 270.00 р. Прил.: с. 312-317; предм. указ.: с. 324-328
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): языки программирования -- Пролог -- базы данных -- рекурсивное программирование -- металогические предикаты -- внелогические предикаты -- метаинтерпритаторы -- игровые программы Аннотация: В книге излагаются основы логического программирования. Дается описание языка Пролог. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Шапиро, Э. |