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

Сводный каталог НТЛ по Ярославской области - результаты поиска

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

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

Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (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


    Павловский, Юрий Николаевич.
    Проблема декомпозиции в математическом моделировании [Текст] !Otitkn.pft: FILE NOT FOUND! . - М. : ФАЗИС, 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 с. - !origp454_H.pft: FILE NOT FOUND! . - 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 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
АЛГЕБРАИЧЕСКИЕ -- СИСТЕМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ ГРАФОВ -- МОГРАФЫ -- ФОРМАЛЬНЫЕ -- ГРАММАТИКИ -- ХАРАКТЕРИЗАЦИОННЫЙ -- АНАЛИЗ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

18.
519.7/8
М23


    Манин, Ю. И.
    Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - М. : Советское радио, 1980. - 128 с. : ил. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 0.45 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
РЕКУРСИВНЫЕ -- ФУНКЦИИ -- АЛГОРИТМ -- ДИОФАНТОВЫ МНОЖЕСТВА -- НЕРАЗРЕШИМОСТЬ -- СЛОЖНОСТЬ ПО КОЛМОГОРОВУ -- СЛУЧАЙНОСТЬ -- ВЕРСАЛЬНЫЕ СЕМЕЙСТВА -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ВЫЧИСЛИМОСТЬ -- теорема Геделя -- принцип неполноты

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

19.
519.7/8
К89


    Кузнецов, О. П.
    Дискретная математика для инженера [Текст] : научное издание / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М. : Энергия, 1980. - 342 с. : рис., табл. - Библиогр.: с. 335-337. -Предм. указ.: с. 338-341. - (в пер.) : 1.40 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
МНОЖЕСТВА -- БУЛЕВА АЛГЕБРА -- ЛОГИКА ПРЕДИКАТОВ -- ПОЛНОТА -- ЗАМКНУТОСТЬ -- ГРАФЫ -- ТЕОРИЯ АЛГОРИТМОВ -- МАШИНЫ ТЬЮРИНГА -- РЕКУРСИВНЫЕ -- ФУНКЦИИ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ФОРМАЛЬНЫЕ -- СИСТЕМЫ -- ИСЧИСЛЕНИЯ -- АВТОМАТЫ -- ЭКСТРЕМАЛЬНЫЕ -- ЗАДАЧИ -- ПЕРЕБОР

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Адельсон-Вельский, Г.М.
Свободных экз. нет
Найти похожие

20.
629.7
К68


    Коротнев, Г. И.
    Топологические и тензорные методы представления производства летательных аппаратов [Текст] / Г.И. Коротнев // Полет. - 2003. - №4. - с. 30-36
ГРНТИ
УДК

Кл.слова (ненормированные):
ПРОИЗВОДСТВенная  -- система -- стандартные  -- модули -- правила -- соединения -- формальные -- образующие -- абстрактные  -- сети -- технологического  -- комплекса

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Имеются экземпляры в отделах: всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)

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

 1..20  21..20