Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (15)
"Руконт"-Национальный цифровой ресурс (5)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=формальные<.>)
Общее количество найденных документов
:
20
Показаны документы
с 1 по 20
1..20
21..20
1.
В12
П25
Пентус, Мати Рейнович
.
Исчисление Ламбека и
формальные
грамматики [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.06 / М. Р. Пентус. - М : Московский государственный университет им. М. В. Ломоносова, 1996. - 12с. : ил. -
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
авторефераты В12
--
формальные
грамматики
--
исчисление Ламбека
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
2.
Ф3(2)3
К88
Куда идет Россия?.
[Текст] :
формальные
институты и реальные практики.2002:Международный симпозиум 18-19 янв.2002г. / Под общ. ред. Т. И. Заславской ; ред. Т. И. Заславская. - М. : МВШСЭН, 2002. - 352с. -
ISBN
5-93725-013-3 : 60.00 р.
ББК
Ф3(2)3
Рубрики:
политика России 20в.
экономика России 20в.
Кл.слова (ненормированные):
политическое развитие
--
экономическое развитие
--
социальное развитие
--
экстремизм
--
терроризм
Держатели документа:
ЯрГУ
Доп.точки доступа:
Заславская, Т.И. \ред.\ ЯрГУ/КОН/МК
Свободных экз. нет
Найти похожие
3.
В12
Б64
Бирюков, Борис Владимирович
.
Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. - 2-е изд., перераб. и доп. - М. : Знание, 1985. - 192 с. - (Наука и прогресс). - 40.00 р.
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
логико-математический аппарат
--
формальные
логики
--
логическая алгебра
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
В183.5
П12
Павловский, Юрий Николаевич
.
Проблема декомпозиции в математическом моделировании [Текст] : нелитературный текст / Ю.Н.Павловский,Т.Г.Смирнова. - М. : ФАЗИС, 1998. - 265с. -
ISBN
5-7036-0046-4 : 20.00 р.
ББК
В183.5
Рубрики:
Исследование операций
Кл.слова (ненормированные):
б-ка Русина
--
математическое моделирование
--
декомпозиция
--
динамические системы
--
формальные
системы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Смирнова, Татьяна Григорьевна ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
В161.6
Б43
Белицкий, Генрих Рувимович
.
Нормальные формы, инварианты и локальные отображения [Текст] : нелитературный текст / Г. Р. Белицкий ; АН УССР. Физико-технический ин-т низких температур. - Киев : Наукова думка, 1979. - 176 с. - 20.00 р.
Библиогр.: с. 168-171
ББК
В161.6
Рубрики:
математический анализ
Кл.слова (ненормированные):
б-ка Русина
--
функциональный анализ
--
гладкие функции
--
гладкие отображения
--
дифференциальные уравнения
--
формальные
инварианты
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
65.9(2Рос)я03+65.01я03
П 14
Палаш, Светлана Витальевна
.
Институциональные основы российской экономики [Текст] : дис...канд.экон.наук:Спец.08 00 01-политическая экономия / С. В. Палаш. - Кострома : [б. и.], 2000. - 173 с. - Библиогр.:С.161-168 (147 назв.). - Б. ц.
На правах рукописи
ББК
65.9(2Рос)я03+65.01я03
Кл.слова (ненормированные):
ЭКОНОМИКА
--
РОССИЯ
--
ЭКОНОМИЧЕСКАЯ ТЕОРИЯ
--
ИНСТИТУЦИОНАЛЬНАЯ КОНЦЕПЦИЯ
--
ФОРМАЛЬНЫЕ
И НЕ
ФОРМАЛЬНЫЕ
ИНСТИТУТЫ
--
ЗАКОНОМЕРНОСТИ РАЗВИТИЯ ИНСТИТУТОВ
--
ИНСТИТУЦИОНАЛЬНОЕ ПРОСТРАНСТВО
--
ТРАНСАКЦИОННЫЕ ИЗДЕРЖКИ
--
ЭФФЕКТИВНОСТЬ ИНСТИТУТОВ
--
НЕ
ФОРМАЛЬНЫЕ
НОРМЫ
--
ДИССЕРТАЦИИ
Держатели документа:
КГУ КГУ/Зп
Свободных экз. нет
Найти похожие
7.
65.9(2Рос)я03+65.01я03
П 14
Палаш, Светлана Витальевна
.
Институциональные основы российской экономики [Текст] : автореф.дис...канд.экон.наук:Спец.08 00 01-политическая экономия / С. В. Палаш. - Кострома : [б. и.], 2000. - 24 с. - Библиогр.:с.24 (4 назв.). - Б. ц.
На правах рукописи
ББК
65.9(2Рос)я03+65.01я03
Кл.слова (ненормированные):
ЭКОНОМИКА
--
РОССИЯ
--
ЭКОНОМИЧЕСКАЯ ТЕОРИЯ
--
ИНСТИТУЦИОНАЛЬНАЯ КОНЦЕПЦИЯ
--
ФОРМАЛЬНЫЕ
И НЕ
ФОРМАЛЬНЫЕ
ИНСТИТУТЫ
--
ЗАКОНОМЕРНОСТИ РАЗВИТИЯ ИНСТИТУТОВ
--
ИНСТИТУЦИОНАЛЬНОЕ ПРОСТРАНСТВО
--
ТРАНСАКЦИОННЫЕ ИЗДЕРЖКИ
--
ЭФФЕКТИВНОСТЬ ИНСТИТУТОВ
--
НЕ
ФОРМАЛЬНЫЕ
НОРМЫ
Держатели документа:
КГУ КГУ/Зп
Свободных экз. нет
Найти похожие
8.
>
Шифр: Полис/2002/1
Журнал
Политические исследования
[Текст] : Научный и культурно-просветительский журнал. - М. : Наука, 1991 - . - ISSN 0321-2017. - Выходит раз в два месяца
2002 г. № 1
Содержание:
Меркель, В.
Формальные
и не
формальные
институты в дефектных демократиях
/ В. Меркель
Пшизова, С. Н. Финансирование политического рынка: теоретические аспекты практических проблем
/ С. Н. Пшизова
Песков, Д. Н. Интернет в российской политике: утопия и реальность
/ Д. Н. Песков
Овчинников, Б. В. Виртуальные надежды: состояние и перспективы политического Рунета
/ Б. В. Овчинников
Кудряшова, И. В. Фундаментализ в пространстве современного мира
/ И. В. Кудряшова
Мирский, Г. И. Политический ислам и западное общество
/ Г. И. Мирский
Брудный, И. М. Политика идентичности и посткоммунистический выбор России
/ И. М. Брудный
Костюк, К. Н. Русская Православная Церковь и общество: нравственное сотрудничество или этический конфликт?
/ К. Н. Костюк
Щербак, А. Н. Коалиционная политика российских партий
/ А. Н. Щербак
Тарусина, И. Г. Динамика политических установок региональных элит России
/ И. Г. Тарусина
Деркач, М. А. Программа "северное измерение" и интересы России
/ М. А. Деркач
Пантин, И. Демократический проект в современном мире
/ И. Пантин
Имеются экземпляры в отделах:
всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
9.
>
Шифр: Полис/2002/2
Журнал
Политические исследования
[Текст] : Научный и культурно-просветительский журнал. - М. : Наука, 1991 - . - ISSN 0321-2017. - Выходит раз в два месяца
2002 г. № 2
Содержание:
Пантин, В. И. Эволюционное усложнение политических систем: проблемы методологии и исследования
/ В. И. Пантин, В. В. Лапкин. - С.6-19
Меркель, В.
Формальные
и не
формальные
институты в дефектных демократиях
/ В. Меркель, А. Круассан. - С.20-30
Пшизова, С. Н. Финансирование политического рынка: теоретические аспекты практических проблем
/ С. Н. Пшизова. - С.31-43
Яницкий, О. Н. Экологическая политика как сетевой процесс
/ О. Н. Яницкий. - С.44-57
Эйзенштадт, Ш. Н. Парадокс демократических режимов: хрупкость и изменяемость
/ Ш. Н. Эйзенштадт. - С.67-81
Евангелиста, М. Геополитика и будущее Российской Федерации
/ М. Евангелиста. - С.82-99
Панарин, С. А. Позиционно-исторические факторы кавказской политики
/ С. А. Панарин. - С.100-112
Дегтярев, А. А. Теория принятия политических решений в структуре социальных и управленческих дисциплин
/ А. А. Дегтярев. - С.113-125
Кынев, А. В. Институт президентства в странах Центральной и Восточной Европы как индикатор процесса политической трансформации
/ А. В. Кынев. - С.126-137
Шварц, Е. А. Предстоящий саммит в Иоганесбурге: что может сделать Россия?
/ Е. А. Шварц. - С.138
Кл.слова: экология, международная политика
Сунгуров, А. Ю. Из опыта развития института омбудсмена в регионах России
/ А. Ю. Сунгуров. - С.147-154
Нечаев, Д. Н. ФРГ: от "государства партий" к "государству общественных объединений"?
/ Д. Н. Нечаев. - С.155-159
Пляйс, Я. А. Отечественная политология на рубеже XX и XXI в.
/ Я. А. Пляйс. - С.175-179
Имеются экземпляры в отделах:
всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
10.
>
Шифр: ОНС/2004/1
Журнал
Общественные науки и
современность [Текст]. - М. : Российская академия наук, 1976 - . - ISSN 0869-0499. - Выходит раз в два месяца
2004г. N 1
Содержание:
Васильчук, Ю. А. Социальное развитие человека. Фактор социума
/ Ю. А. Васильчук. - С.5-16
Вишневский, А. Г. Модернизация и контрмодернизация: чья возьмет?
/ А. Г. Вишневский. - С.17-25
Григорьев, В. П. Диалогическая (не) интеллигентность
/ В. П. Григорьев. - С.26-40
Олейник, А. Н. Дефицит общения в науке: институциональное объяснение
/ А. Н. Олейник. - С.41-51
Пантин, В. И. Трансформация национально-цивилизационной идентичности современного российского общества: проблемы и перспективы
/ В. И. Пантин, В. В. Лапкин. - С.52-63
Соловьев, А. И. Институциональный дизайн российской власти: исторический ремейк или матрица развития?
/ А. И. Соловьев. - С.64-76
БарановА., С. Терроризм и гражданское мученичество в европейской политической культуре Нового и Новейшего времени
/ С. БарановА. - С.77-88
Кудрявцев, В. Н. Предупреждение терроризма
/ В. Н. Кудрявцев. - С.89-95
Зарубина, Н. Н. Этика служения и этика ответственности в культуре русского предпринимательства
/ Н. Н. Зарубина. - С.96-105
Стельмах, В. Г. Продуктивный взгляд на причины распада СССР (Размышления над книгой Э. Уолкера)
/ В. Г. Стельмах. - С.106-113
Евстигнеева, Л. П. Глобализация и регионализм: уроки для России
/ Л. П. Евстигнеева, Р. Н. Евстигнеев. - С.114-125
Шишкин, М. А. Биологическая эволюция и природа нравственности
/ М. А. Шишкин. - С.126-134
Скоробогатых, Н. С. Австрлийский мультикультурализм: путь к гражданскому согласию или к расколу общества?
/ Н. С. Скоробогатых. - С.135-146
Малыгина, И. В. Национализм как форма культурной идентичности и его российская специфика
/ И. В. Малыгина. - С.147-153
Гунина, О. В. "Эстетический поворот" в русской музыке XVII века: от "ангелогласного пения" к "грамматике мусикийской"
/ О. В. Гунина. - С.154-163
Попкова, Л. Н. Гендерная политика США:
формальные
институты и практики
/ Л. Н. Попкова. - С.164-173
Сухопаров, А. А. Парламент каков он есть (Государственная дума глазами аналитиков)
/ А. А. Сухопаров. - С.174-176
Имеются экземпляры в отделах:
всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)
Найти похожие
11.
>
Шифр: ОНС/2004/3
Журнал
Общественные науки и
современность [Текст]. - М. : Российская академия наук, 1976 - . - ISSN 0869-0499. - Выходит раз в два месяца
2004г. N 3
Содержание:
Полтерович, В. М. Институциональные ловушки: есть ли выход?
/ В. М. Полтерович. - С.5-16
Кл.слова: экономическая, система, кризис
Экологические последствия распада СССР. "Круглый стол" ученых
. - С.17-28
Кл.слова: природопользование, охрана, природы
Сабуров, Е. Ф. Город как общество
/ Е. Ф. Сабуров. - С.29-38
Кл.слова: местное, самоуправление, субсидиарность
Либоракина, М. И. Местное самоуправление и реформа жилищно-коммунального хозяйства
/ М. И. Либоракина, С. Б. Сиваев. - С.39-50
Кл.слова: жилищно-коммунальные, услуги, собственность
Пригожин, А. И. Диалогические решения
/ А. И. Пригожин. - С.51-60
Кл.слова: конфликт, переговоры
Монусова, Г. А. Как становятся чиновниками и продвигаются по службе
/ Г. А. Монусова. - С.61-70
Кл.слова: кадровая, политика
Чирикова, А. Е. Исполнительная власть в регионах: правила игры
формальные
и не
формальные
/ А. Е. Чирикова. - С.71-80
Кл.слова: бюрократия
Лунеев, В. В. Политическая. социальная и экономическая несправедливость в мире и терроризм
/ В. В. Лунеев. - С.81-88
Кл.слова: глобализация
Жукоцкий, В. Д. Русская реформация 20 века: логика исторической трансформации атеистического протестантизма большевиков
/ В. Д. Жукоцкий. - С.89-101
Кл.слова: цивилизация, Серебряный, век
Кавыкин, О. И. Родноверие - новое религиозное течение в современной России
/ О. И. Кавыкин. - С.102-110
Кл.слова: язычество
Возможны ли мтематические модели истории? "Круглый стол" ученых
. - С.111-122
Розин, В. М. Социальная оценка богатства и её связь с концепцией социального действия
/ В. М. Розин. - С.123-131
Борисова, О. В. Этническая группа и государство как субъекты социального взаимодействия: социопсихологический и биополитический аспекты
/ О. В. Борисова, А. В. Олескин. - С.132-142
Кл.слова: императив
Андреева, Л. А. Православие. протестантизм и стратегия устойчивого развития России в начале 21 века
/ Л. А. Андреева, В. В. Ряховский. - С.143-152
Кл.слова: 21, религиозные, организации
Кондаков, И. В. "Ничего тут не поймешь!" (Дискурс детства в поэзии Д. Хармса) (Окончание)
/ И. В. Кондаков. - С.153-161
Пронина, Е. Е. Последний из хазар: словарь Милорада Павича
/ Е. Е. Пронина. - С.162-171
Памяти ученого
. - С.176
Имеются экземпляры в отделах:
всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)
Найти похожие
12.
В18я73
П 25
Пентус, Анна Евгеньевна
.
Математическая теория формальных языков [] : учеб. пособие для вузов / А. Е. Пентус, М. Р. Пентус. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. - (Основы информатики и математики). -
ISBN
5-94774-512-7. -
ISBN
5-9556-0062-0 : 300.00 р.
ББК
В18я73
Рубрики:
Математическая кибернетика
Кл.слова (ненормированные):
формальные
языки
--
порождающие грамматики
--
конечные автоматы
--
математическая лингвистика
Держатели документа:
ЯрГУ
Доп.точки доступа:
Пентус, Мати Рейнович
Свободных экз. нет
Найти похожие
13.
В185.2я73
С 59
Соколов, Валерий Анатольевич
.
Формальные
языки и грамматики [] : задачи и упражнения : учеб. пособие для вузов / В. А. Соколов, О. Б. Кушнаренко, Н. М. Бадин. - Ярославль : [б. и.], 1993. - 54 с. -
ISBN
5-230-18242-3 : 400.00 р.
ББК
В185.2я73
Рубрики:
Программирование
Кл.слова (ненормированные):
формальные
языки
--
языки программирования
--
математическое программирование
--
учебник В185.2
--
задачи В185.2
--
ЯрГУ
--
грамматика
Держатели документа:
ЯрГУ
Доп.точки доступа:
Кушнаренко, Ольга Борисовна; Бадин, Николай Михайлович
Свободных экз. нет
Найти похожие
14.
В181
П58
Попов, С. В.
Логическое моделирование [Текст] / С. В. Попов. - М. : Тровант, 2006. - 256 с. -
ISBN
5-89513-049-6 : 70.00 р.
ББК
В181
Рубрики:
Кибернетика
Кл.слова (ненормированные):
математическая кибернетика
--
моделирование
--
логическое моделирование
--
формальные
логические преобразования
--
прикладные задачи
--
логические методы решения
Держатели документа:
ЯрГУ ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
15.
З973.2-018.1я73
О-60
Опалева, Эльвира Александровна
.
Языки программирования и методы трансляции [Текст] : [учеб. пособие для вузов] / Э. А. Опалева, В. П. Самойленко. - СПб : БХВ-Петербург, 2005. - 476 с. -
ISBN
5-94157-327-8 : 135.42 р.
ББК
З973.2-018.1я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки программирования
--
компиляция
--
формальные
грамматики
--
формальные
языки
--
распознающие автоматы
--
конечные автоматы
--
синтаксический анализ
--
учебник З973.2-018.1
--
учебник В185.2
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
16.
В185.2я73
С59
Соколов, Валерий Анатольевич
.
Технологии трансляции [Текст] : учеб. пособие для вузов / В. А. Соколов, Д. Ю. Чалый. - Ярославль : [б. и.], 2008. - 122 с. -
ISBN
978-5-8397-0630-9 : 46.00 р.
ББК
В185.2я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки программирования
--
формальные
языки
--
анализаторы
--
лексические анализаторы
--
синтаксический анализ
--
математическая лингвистика
--
грамматики
--
лексические ошибки
--
конечные автоматы
--
токены
--
трансляторы
--
технологии трансляции
--
учебник В185.2
--
ЯрГУ
Держатели документа:
ЯрГУ ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
17.
519.7/8
Г67
Горбатов, В. А.
Основы дискретной математики [Текст] : учеб. пособие для вузов / В.А. Горбатов. - М. : Высш. шк., 1986. - 311 с. : рис., табл. - Библиогр.: с. 304-305. -Предм. указ.: с. 306-309. - (в пер.) : 1.00 р.
ГРНТИ
27
УДК
519.7/8
Кл.слова (ненормированные):
АЛГЕБРАИЧЕСКИЕ
--
СИСТЕМЫ
--
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
ТЕОРИЯ ГРАФОВ
--
МОГРАФЫ
--
ФОРМАЛЬНЫЕ
--
ГРАММАТИКИ
--
ХАРАКТЕРИЗАЦИОННЫЙ
--
АНАЛИЗ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
18.
519.7/8
М23
Манин, Ю. И.
Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - М. : Советское радио, 1980. - 128 с. : ил. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 0.45 р.
ГРНТИ
28
УДК
519.7/8
Кл.слова (ненормированные):
РЕКУРСИВНЫЕ
--
ФУНКЦИИ
--
АЛГОРИТМ
--
ДИОФАНТОВЫ МНОЖЕСТВА
--
НЕРАЗРЕШИМОСТЬ
--
СЛОЖНОСТЬ ПО КОЛМОГОРОВУ
--
СЛУЧАЙНОСТЬ
--
ВЕРСАЛЬНЫЕ СЕМЕЙСТВА
--
ФОРМАЛЬНЫЕ
ЯЗЫКИ
--
ВЫЧИСЛИМОСТЬ
--
теорема Геделя
--
принцип неполноты
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
19.
519.7/8
К89
Кузнецов, О. П.
Дискретная математика для инженера [Текст] : научное издание / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М. : Энергия, 1980. - 342 с. : рис., табл. - Библиогр.: с. 335-337. -Предм. указ.: с. 338-341. - (в пер.) : 1.40 р.
ГРНТИ
27
УДК
519.7/8
Кл.слова (ненормированные):
МНОЖЕСТВА
--
БУЛЕВА АЛГЕБРА
--
ЛОГИКА ПРЕДИКАТОВ
--
ПОЛНОТА
--
ЗАМКНУТОСТЬ
--
ГРАФЫ
--
ТЕОРИЯ АЛГОРИТМОВ
--
МАШИНЫ ТЬЮРИНГА
--
РЕКУРСИВНЫЕ
--
ФУНКЦИИ
--
ВЫЧИСЛИМОСТЬ
--
РАЗРЕШИМОСТЬ
--
ФОРМАЛЬНЫЕ
--
СИСТЕМЫ
--
ИСЧИСЛЕНИЯ
--
АВТОМАТЫ
--
ЭКСТРЕМАЛЬНЫЕ
--
ЗАДАЧИ
--
ПЕРЕБОР
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Адельсон-Вельский, Г.М.
Свободных экз. нет
Найти похожие
20.
629.7
К68
Коротнев, Г. И.
Топологические и тензорные методы представления производства летательных аппаратов [Текст] / Г.И. Коротнев> // Полет. - 2003. -
№4
. - с. 30-36
ГРНТИ
73.37.01
УДК
629.7
Кл.слова (ненормированные):
ПРОИЗВОДСТВенная
--
система
--
стандартные
--
модули
--
правила
--
соединения
--
формальные
--
образующие
--
абстрактные
--
сети
--
технологического
--
комплекса
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Имеются экземпляры в отделах:
всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)
Найти похожие
1..20
21..20