Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>) |
Загальна кількість знайдених документів : 206
Представлено документи з 1 до 20
|
| |
1. | Крилов М. М. Про деякі формальні розклади нелінійної механіки / акад. М. М. Крилов і д-р М. М. Боголюбов ; Всеукр. акад. наук. - Київ : Вид-во Всеукр. акад. наук, 1934.. - 89, [3] с. : рис.. - ([Записки] / Всеукр. акад. наук, Ін-т буд. механіки, Каф. мат. фізики ; № 5)
|
2. | Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ ред. и вступ. ст. проф. П. С. Попова. - М. : Изд-во иностр. лит., 1959.. - 312 с.
|
3. | Кратко М. И. Формальные исчисления Поста и конечные автоматы / М. И. Кратко. - М. : [б. и.], 1966.. - [24] с.
|
4. | Формальное описание алгоритмического языка АЛГЭК - У / Моск. экон.-стат. ин-т, Отраслевая науч.-исслед. лаб. теории механизир. обраб. экон. информ. ; [подгот.: Королёв М. А. и др.]. - М. : [б. и.], 1966.. - 59 с.
|
5. | Николаева О. М. Старославянизмы (церковнославянизмы) в современных белорусском и русском литературных языках: формальные, семантико-стилистические и функциональные сходства и различия : Автореф. дис... канд. филол. наук: 10.02.02; 10.02.01 / Николаева Ольга Михайловна ; АН Белорусской ССР, Институт языкознания им. Якуба Коласа. - Минск, 1989.. - 19 с.
|
6. | Хаславская Л. М. Средневековая торевтика Южной Сибири (VІ-Х вв.) (опыт формального подхода) : Автореф. дис... канд. ист. наук: 07.00.06 / Хаславская Лидия Михайловна ; АН СССР. СО, Институт истории, филологии и философии. - Новосибирск, 1990.. - 19 с.
|
7. | Церлюкевич В. К. Формальный и функциональый аспекты в анализе дифференциальных признаков простого предложения русского языка как лингвистической единицы : Автореф. дис... канд. филол. наук: 10.02.01 / Церлюкевич Виталий Казимирович ; Белорусский гос. ун-т им. В.И.Ленина. - Минск, 1990.. - 21 с.
|
8. | Гуйванюк Н. В. Формально-семантичні співвідношення в системі синтаксичних одиниць : Автореф. дис...д-ра філол. наук: 10.02.02 / Гуйванюк Ніна Василівна ; АН України, Ін-т мовознав. ім. О. О. Потебні. - О., 1993.. - 34 с.
|
9. | Журавская Т. М. Роль формального в пропедевтическом курсе дизайна : Автореф. дис... канд. искусствоведения: 17.00.06 / Журавская Татьяна Михайловна ; Государственный комитет по высшему образованию Российской Федерации, Санкт-Петербургское высшее художественно-промышленное училище им. В.И.Мухиной. - СПб., 1994.. - 27 с.
|
10. | Проценко В. С. Формальні специфікації мов програмування : Навч.посібник для студ. вищ.навч.закладів / В. С. Проценко, П. Й. Чаленко. - К. : Либідь, 1994.. - 183 с.
|
11. | Шрамченко, Борис Лазаревич Конспект лекцій з курсу "Лінгвістичне забезпечення САПР". Ч. 1:Формальні мови та граматики, скінчені автомати, лексичний аналіз. - [Б. м.] : [б.в.], 1995.. - 68 с.
|
12. | Жлуктенко С. В. Розробка і дослідження формальних процедур системного аналізу для вирішення задач моделювання і прийняття рішень в складних системах з невизначеністю опису : Автореф. дис... канд. технічний наук: 05.13.02 / Жлуктенко Святослав Володимирович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1996.. - 16 с.
|
13. | Резаненко В. Ф. Формально- змістові взаємозв"язки елементів сучасної ієрогліфічної писемності : Автореф. дис... д-ра філол. наук: 10.02.15 / Резаненко Володимир Федорович ; Київський ун-т ім. Тараса Шевченка. - К., 1996.. - 37 с.
|
14. | Резаненко В. Ф. Формально- змістові взаємозв'язки елементів сучасної ієрогліфічної писемності : Дис... д-ра філол. наук: 10.02.15 / Резаненко Володимир Федорович ; Київський ун-т ім. Т.Г.Шевченка. - К., 1996.. - 431 с.: табл.
|
15. | Жлуктенко С. В. Розробка і дослідження формальних процедур системного аналізу для вирішення задач моделювання і прийняття рішень в складних системах з невизначеністю опису : Дис... канд. технічний наук: 05.13.02 / Жлуктенко Святослав Володимирович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1996.. - 219 л.
|
16. | Амоша А. И. Логико-формальное моделирование и функциональное прогнозирование общественного производства : препринт / А. И. Амоша, Е. Т. Иванов ; НАН Украины, Ин-т экономики пром-сти. - Донецк : [б.в.], 1997.. - 47 с.
|
17. | Степаненко М. І. Взаємодія формально-граматичної і семантичної валентності у структурі словосполучення та речення / М. І. Степаненко ; НАН України, Укр. мовно-інформ. фонд. - К. : [б.в.], 1997.. - 216 с.
|
18. | Варій М. Й. Формальні групи військового підрозділу: соціально- психологічний аспект : Наук.-метод. посібник / М. Й. Варій ; Державний ун-т "Львівська політехніка". Відділення військової підготовки. - Львів : [б.в.], 1997.. - 32 с.
|
19. | Системная информатика. Вып. 5:Архитектурные, формальные и программные модели / РАН. СО, Институт систем информатики имени А. П. Ершова ; ред. И. В. Поттосин. - Новосибирск : Наука. Сибирское предприятие РАН, 1997.. - 334 с.. - (Системная информатика / РАН. СО, Институт систем информатики им. А.П.Ершова)
|
20. | Ніка О. І. Дієприслівник у структурі речень староукраїнської мови другої половини XVI- першої половини XVІІ ст. (формально- синтаксичний, семантичний та комунікативний аспекти) : Дис... канд. філол. наук: 10.02.01 / Ніка Оксана Іванівна ; Київський ун-т ім. Тараса Шевченка. - К., 1998.. - 165 л.
|
| |