Логин (фамилия): Пароль (штрих-код):

Электронный каталог МУБиНТ - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
 Найдено в других БД:"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Пролог<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
 1..11 
1.
94(47)
Г68


    Гордин, Яков
    Кавказ: земля и кровь [Текст] : россия в кавказской войне XIX века / Яков Гордин. - СПб. : Журнал "Звезда", 2000. - 464 с. : ил. - Воспоминания участников и свидетелей Кавказской войны: с. 430-458. - Указ. имен: с. 460-463. - ISBN 5-7439-0058-2 :
    Содержание:
Что увлекло Россию на Кавказ?
Пролог Кавказской войны
Цицианов
Ермолов
Кавказ и царь
Год 1843 - цена сомнений
От "стада нищих дикарей" к "гарнизону осажденной крепости"
Мысли о делах наших на Кавказе
Кавказ: земля и кровь
Эхо Кавказской войны, или Смыкающиеся крайности
ГРНТИ
УДК
ББК 63.3(2)47
Рубрики: История России--Кавказская война XIX века
Аннотация: Книга только подступ к подробной и концептуальной истории самой длинной и самой малоизвестной среди войн России. Каждая глава книги анализирует некую существенную проблему трагического конфликта России и Кавказа, очерчивает принципиально важный период или ключевой эпизод войны. Цель книги - объяснить положения и России, и горских народов, чрезвычайную сложность исторической ситуации. В основе большинства глав лежат архивные материалы. В приложении публикуются воспоминания участника кровавой Даргинской экспедиции 1845 года и дневник Кавказского корпуса.
Чит. зал
Свободных экз. нет
Найти похожие

2.
681.3
Д67


    Доорс, Дж.
    Пролог - язык программирования будущего [Текст] / Дж. Доорс, А. Р. Рейблейн, С. Вадера; Пер. А. Н. Волков = Prolog - Programming for Tomorrow / J. Doores, A.R. Reiblein, S. Vadera : Пер. с англ. - М. : Финансы и статистика, 1990. - 142 с. : рис. - Библиогр.: с. 134. - Предм. указ.: с. 135-138. - ISBN 5-279-00444-8 (CCCР). - 0-905104-52 (Великобритания) : 1.10 р.
    Содержание:
Синтаксис и унификация. Арифметические выражения. Рекурсия. Структуры данных. Операторы. Отсечение. Модули. Отладка.
ГРНТИ
УДК
ББК 24.4.1
Рубрики: Информатика--Языки программирования
Аннотация: Издание содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, операторы и процедуры.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Рейблейн, А. Р.; Вадера, С.; Волков, А. Н. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

3.
681.3
Я41


   
    Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р.
    Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

4.
    (Свободных экземпляров нет)
Шифр: ПТПУ/1997/1
   Журнал

Проблемы теории и практики управления [Текст]. - М. : Финпресс, 1983 - . - ISSN 0234-4505. - Выходит ежемесячно
1997 г. № 1
Содержание:
Объединение инфраструктур в транснациональную сеть - катализатор процесса создания единой Европы.
Кнаупе, Х. Й. Правила игры сегодня определяет международная конкуренция. / Х. Й. Кнаупе
Штольпе, М. Приграничное сотрудничество: возможности малых и средних предприятий в Бранденбурге и Польше. / М. Штольпе
Кнооп, А. Многоаспектная сервис-программа для немецких предприятий. / А. Кнооп
Маршев, В. Куда движется управленческая мысль. / В. Маршев
Голдман, М. Теория управления в США и России: сравнительный анализ. / М. Голдман
Лютанс, Ф. Концепция организационного поведения: прошлое как пролог к настоящему и будущему. / Ф. Лютанс
Данилов, А. Уроки социально-экономической трансформации. / А. Данилов
Костин, Г. Опыт управления: успехи и неудачи. / Г. Костин
Кисунько, Г. Проблема экономической преступности в России. / Г. Кисунько
Саморукова, А. Румыния: аграрная реформа и продовольственная безопасность. / А. Саморукова
Соболева, И. Политика занятости в России и мировой опыт. / И. Соболева
Дегтярь, Л. Государственная политика на рынке квалифицированного труда: опыт стран Центральной и Восточной Европы. / Л. Дегтярь
Василенко, И. Административно-государственное управление: опыт Франции. / И. Василенко
Дорогов, Н. Управление экономикой при многообразии форм собственности. / Н. Дорогов
Новрузов, Р. Об эффективности управления государственной собственностью. / Р. Новрузов
Райсс, М. Границы "безграничных" предприятий: перспективы сетевых организаций. / М. Райсс
Бородин, В. Проектирование структуры инновационной научно-технической фирмы. / В. Бородин
Сестр, Г. Стратегическое значение информации и роль базы данных в маркетинге. / Г. Сестр
Хэдрих, Г. Стратегические факторы успеха на рынках потребительских товаров. / Г. Хэдрих, Т. Йеннер
Давиденко, Н. Финансовый менеджмент: эволюция взглядов и уточнение предмета. / Н. Давиденко, А. Кудашев
Радченко, Я. М.М. Сперанский: взгляды на организацию и управление. К 225-летию со дня рождения. / Я. Радченко
Все экземпляры списаны
Найти похожие

5.
94(47)
Г82


    Грибанов, С.
    Хроника времен Василия Сталина [Текст] : общественно-политическая литература / С. Грибанов. - М. : Гея итэрум, 1999. - 364 с. : [24 л.] ил. - (Рассекреченные жизни). - ISBN 5-85589-058-9 :
    Содержание:
Пролог
О чем не говорят в Лондоне
Деньги уплатите после войны
Я останусь здесь до последнего
Сталинские соколы
Дымы в изобилии
Шерше ля фам
Дорога была жисть
Считаете, что достоин?
А может, вернемся?
Васька хотел выдвинуться...
"Дракон" приказал умереть!
Мертвая петля
Письма любимым
Эпилог
ГРНТИ
УДК
ББК 67.401.212
Рубрики: История--Россия
Аннотация: Более 10 000 документов из архивов и тайников спецхрана, которые и поныне не всем доступны, встречи с людьми, близко знавшими В. Сталина, его семейные воспоминания легли в основу этой книги. Писатель этой книги нашел уникальные документы уходящей эпохи, среди которых неизвестные письма В. Сталина из тюрьмы.
Чит. зал
Свободных экз. нет
Найти похожие

6.
004
К15


    Каймин, В. А.
    Информатика [Текст] : учебник / В. А. Каймин. - 2-е изд., перераб. и доп. - М. : Инфра-М, 2002. - 272 с. : ил. - (Высшее образование). - Библиогр.: с. 270 . - ISBN 5-16-000612-5 :
    Содержание:
Информация и персональные ЭВМ
Элементы интернет-технологий
Элементы информационных технологий
Решение задач на ЭВМ
Технология решения задач
Экзамены по информатике
Интерпретатор языка Пролог
ГРНТИ
УДК
ББК 22.18я73
Рубрики: Информатика
Аннотация: Учебнику присуждено первое место по дисциплине "Информатика" на конкурсе вузовских учебников Министерства образования Российской Федерации в 1999 г. В пособии излагаются теоретические основы информатики, а также техника работы на персональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы систем искусственного интеллекта и методы обработки данных на ЭВМ. Приведено большое число задач с примерами решения. Рекомендован Министерством образования Российской Федерации в качестве учебника для студентов высших учебных заведений. Может использоваться для подготовки к экзаменам по информатике в вузах и школах, а также в системах и учреждениях открытого и дополнительного образования.
Чит. зал
Свободных экз. нет
Найти похожие

7.
004
К15


    Каймин, В. А.
    Информатика [Электронный ресурс] : учебник / В. А. Каймин. - Электрон. текстовые дан. (1,09 Мб). - М. : Инфра-М, 2000. - 272 с. : ил. - (Высшее образование). - Электрон. версия печ. публикации . - Библиогр. - ISBN 5-16-000170-0 : Б. ц.
    Содержание:
Информация и персональные ЭВМ
Элементы интернет-технологий
Элементы информационных технологий
Решение задач на ЭВМ
Технология решения задач
Экзамены по информатике
Интерпретатор языка Пролог
ГРНТИ
УДК
ББК 22.18я73
Рубрики: Информатика
Аннотация: Учебнику присуждено первое место по дисциплине "Информатика" на конкурсе вузовских учебников Министерства образования Российской Федерации в 1999 г. В пособии излагаются теоретические основы информатики, а также техника работы на персональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы систем искусственного интеллекта и методы обработки данных на ЭВМ. Приведено большое число задач с примерами решения. Рекомендован Министерством образования Российской Федерации в качестве учебника для студентов высших учебных заведений. Может использоваться для подготовки к экзаменам по информатике в вузах и школах, а также в системах и учреждениях открытого и дополнительного образования.

Перейти: http://elib.mubint.ru/lib/knigi/Kaimin_informatika.pdf
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Экземпляры всего: 1
Сервер электронной библиотеки (1)
Свободны: Сервер электронной библиотеки (1)
Найти похожие

8.
    (Свободных экземпляров нет)
Шифр: В/2009/9
   Журнал

Власть [Текст]. - М. : Редакция журнала "Власть", 1993 - . - Выходит ежемесячно
2009г. № 9 . - 112.51, р.
Содержание:
Бельков, О. Понятие "война" и его аберрации в отечественном дискурсе / О. Бельков. - С.4-8
Кл.слова: вооруженный конфликт
Богданов, В. Диалектические основания власти / В. Богданов. - С.9-12
Кл.слова: свобода, общественное сознание
Романович, Н. К вопросу о персонификации власти в России / Н. Романович. - С.13-16
Тян, В. Политическая модернизация России в постсоветский период (характеристики и факторы своеобразия) / В. Тян. - С.17-
Степанченко, В. Вектор трансформации политической системы России: феномен малопартийности / В. Степанченко. - С.21-23
Дмитриев, М. Парламентизм и демократия в России / М. Дмитриев. - С.24-26
Кошкин, А. Трансформация системы госвлияния на развитие российского социума (на примере Стратегии-2020) / А. Кошкин, С. Соколова. - С.27-30
Королькова, Н. Местное самоуправление как ресурс развития публичной политики в современной России / Н. Королькова. - С.31-33
Косова, Н. Принципы социальной коммуникации в системе муниципального управления / Н. Косова. - С.34-36
Колобова, С. Политическая социализация граждан в условиях модернизации Российской Федерации / С. Колобова. - С.37-39
Семёнов, А. Элитологические факторы инсталляции гражданского общества в современной России / А. Семёнов. - С.40-42
Макаев, С. Уволенные в запас кадровые военнослужащие как ресурс государственного развития / С. Макаев. - С.43-46
Киселёв, В. Роль управления землёй в устойчивом развитии / В. Киселёв. - С.47-49
Храпов, С. Трансформация сознания российского общества в контексте его социокультурной динамики / С. Храпов. - С.50-52
Слесарев, В. Развитие туризма в регионах Российской Федерации (проблемы взаимодействия бизнес-сектора, органов государственной власти и некоммерческих организаций) / В. Слесарев. - С.53-55
Чувилина, Н. Региональные электоральные процессы в постсоветский период / Н. Чувилина. - С.56-59
Возжеников, А. Согласование интересов регионов и федерального центра в современной России / А. Возжеников, В. Стрельченко. - С.60-63
Асонов, Н. Соборность как концепт новых представлений о самодержавном правлении после свержения в России монархии / Н. Асонов. - С.64-68
Орлов, М. Социально-этнические воззрения в русской философии (поиск стабильных оснований глобальных процессов) / М. Орлов. - С.69-72
Ореховская, Н. Массовое сознание россиян (геополитические и этнические корни) / Н. Ореховская. - С.73-76
Рудой, В. Штатная численность органов государственной власти и местного самоуправления (современные подходы к её нормированию) / В. Рудой. - С.77-80
Манойло, А. Информационно-психологическая война в вооружённом конфликте в Южной Осетии / А. Манойло. - С.81-85
Примова, Э. Реформа избирательной системы / Э. Примова. - С.86-89
Самойлова, О. Социокультурные конфликты (особенности определения и типологизации) / О. Самойлова. - С.90-92
Викторова, З. Политико-административные сети в структуре принятия государственных решений (проблемы теории и практики) / З. Викторова. - С.93-95
Евдокимова, Т. Формирование законодательных основ противодействия экстремизму / Т. Евдокимова. - С.96-98
Семедов, С. Причины радикализации российского ислама / С. Семедов. - С.99-103
Мишунина, А. Миграционный режим пребывания (проживания) иностранных граждан и лиц без гражданства в Российской Федерации (состояние и перспективы) / А. Мишунина. - С.104-106
Степурина, А. Особенности влияния глоболизации на международные связи регионов федеративных государств / А. Степурина. - С.107-109
Ватлин, А. Социальные проблемы в управлении инновационными процессами высшей технической школы / А. Ватлин. - С.110-112
Гагарина, И. Интернет-ресурсы как способ борьбы с сектантством / И. Гагарина. - С.113-116
Газиева, И. О реформе местного самоуправления в Нижегородской области / И. Газиева. - С.117-120
Волкова, И. Страхование предпринимательского риска / И. Волкова. - С.121-123
Кулиев, Р. Профилактика налоговых правонарушений в Российской Федерации / Р. Кулиев. - С.124-126
Быстрова, М. Политическая борьба в ходе избирательной кампании 1916 г. по выборам в Петроградскую городскую думу / М. Быстрова, В. Яренгина. - С.127-129
Арчебасова, Н. Попечители учебных заведений - должность или призвание? (на примере Саратовской губернии второй половины ХIХ - начала ХХ вв.) / Н. Арчебасова. - С.130-133
Ярославцева, Т. Концессии как форма сотрудничества власти и бизнеса (результаты и проблемы) / Т. Ярославцева. - С.134-137
Лещёв, Е. Создание 7-го округа ОКПС и обеспечение безопасности южного участка государственной границы Российской империи / Е. Лещёв. - С.138-140
Поляков, В. "Великая посевная кампания" 1921 г. - пролог голода в Поволжье / В. Поляков. - С.141-143
Саляхиева, Р. Официальная печать в управлении (на материалах газеты "Пермские губернские ведомости" первой половины ХIХ в.) / Р. Саляхиева. - С.144-146
Курас, С. Уголовно-правовая характеристика преступника - иудея, сосланного в Сибирь (конец ХIХ в.) / С. Курас. - С.147-150
Дугарова, С. К вопросу об интерпретации названия монгольского закона "Их засаг" (на примере монгольской ) / С. Дугарова
Барковская, Е. Концепция власти в исламе (современные подходы к наследию раннеисламской государственности) / Е. Барковская. - С.154-156
Базаров, В. Монголо-японские дипломатические отношения / В. Базаров. - С.157-159
Все экземпляры списаны
Найти похожие

9.
821
В 11


   
    В мире литературы. 9 класс [Текст] : учебник-хрестоматия для общеобразоват. учреждений / А.Г. Кутузов. - 6-е изд., стереотипное. - М. : Дрофа, 2004. - 560 с. - ISBN 5-7107-8177-0 : Б. ц.
    Содержание:
Пролог
Автор-образ-читатель
Литература Средневековья
Литература эпохи Возрождения
Литература эпохи Просвещения
Литература XIX века
Духовная литература
Литература XX века
Прошлое, настоящее, будущее
Эпилог
Краткий библиографический словарь писателей
УДК
ББК 83.3

Аннотация: Учебник-хрестоматия входит в комплект пособий, обеспечивающих литературное образование в 5-9 классах общеобразовательных средних учебных заведений на основе государственного стандарта. В составе комплекта выпускаются методические рекомендации "Как войти в мир литературы". Методический аппарат учебника-хрестоматии ориентирован на формирование литературно-художественных умений и развитие творческих способностей учащихся.

Держатели документа:
МУБиНТ : 150003 г.Ярославль ,ул. Советская, 80

Доп.точки доступа:
Кутузов, А.Г. \сост.\; Киселев, А.К. \сост.\; Романичева , Е.С. \сост.\
Экземпляры всего: 1
Чит. зал (1)
Свободны: Чит. зал (1)
Найти похожие

10.
94
П 68


    Правдивцев, В.
    Тайные технологии. Биосферное и геосферное оружие, книга 1 [Текст] / В.Л. Правдивцев. - М. : Бином. Лаборатория знаний, 2012. - 335 с. - Библиогр.: с. 334-335. - ISBN 978-5-9963-0750-0 (оформл. В.Л. Правдивцева). - ISBN 978-5-9963-1068-5 (оформл. Ю.Н. Иванова) : Б. ц.
    Содержание:
Пролог. Странное лето 2010 года
Глава 1. Оружие нового тысячелетия
Глава 2. Биосферное оружие
Глава 3. Причастене ли Никола Тесла к Тунгусскому феномену?
Глава 4. Геофизическое оружие - оружие тайных войн
Глава 5. Ионосфера как оружие геополитики
Литература
ГРНТИ
УДК

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

Держатели документа:
МУБиНТ : 150003 г.Ярославль ,ул. Советская, 80 Чит. зал
Свободных экз. нет
Найти похожие

11.
004
П 784


   
    Программирование [Текст] : в 2 т. Т. 2 : учебник для студ. учреждений высш. проф. образования / под ред. Н.И. Пака. - М. : Издательский центр "Академия", 2013. - 240 с. - (Бакалавриат). - Библиогр.: с. 236-237. - ISBN 978-5-7695-9595-0 : Б. ц.
    Содержание:
Введение
Глава 1. Функциональное программирование. Лисп
Глава 2. Объектно-ориентированное программирование
Глава 3. Основы параллельного программирования
Глава 4. Логическое программирование. Пролог
Глава 5. Формализация синтаксиса и семантики языков программирования. Метаязыки
Приложение. Список проектов для самостоятельного выполнения
Список литературы
ГРНТИ
УДК

Аннотация: Учебник создан в соответствии с Федеральным государственным образовательным стандартом по направлению подготовки 050100 «Педагогическое образование», профиль «Информатика» (квалификация «бакалавр»). В томе 1 изложены вопросы формирования алгоритмических умений в процессе человеческой деятельности по решению информационных и интеллектуальных задач. Дана классификация подходов и идей современного программирования. Приведены основные сведения о базовых парадигмах программирования (машинно-ориентированное и процедурное). Для студентов учреждений высшего профессионального образования.

Держатели документа:
Техникум : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Нигматулина, Э.А.; Пак, Н.И.; Сокольская, М.А.; Степанова, Т.А.; Пак, Н.И. \ред.\ Чит. зал
Свободных экз. нет
Найти похожие

 1..11