Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>) |
Загальна кількість знайдених документів : 206
Представлено документи з 1 до 20
|
| | |
| 1. |
Крилов, Микола Митрофанович (доктор математики, академік ; 1879–1955).
Про деякі формальні розклади нелінійної механіки / акад. М. М. Крилов і д-р М. М. Боголюбов ; Всеукр. акад. наук. - Київ : Вид-во Всеукр. акад. наук, 1934. - 89, [3] с. : рис. - ([Записки] / Всеукр. акад. наук, Ін-т буд. механіки, Каф. мат. фізики ; № 5). - Бібліогр.: с. [91]. - 600 прим.
Дод. точки доступу:
Боголюбов, Микола Миколайович (доктор фізико–математичних наук, академік ; 1909–1992); Всеукраїнська академія наук
|
| 2. |
Лукасевич, Ян.
Аристотелевская силлогистика с точки зрения современной формальной логики / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ ред. и вступ. ст. проф. П. С. Попова. - М. : Изд-во иностр. лит., 1959. - 312 с. - Пер. изд. : Aristotle's sillogistic from the standpoint of modern formal logic / Jan Łukasiewicz. - Oxford, 1957
Дод. точки доступу:
Стяжкин, Н. И. (пер.); Субботин, А. Л. (пер.); Попов, П. С. (ред., авт. вступ. ст.); Аристотель (pers.); Łukasiewicz, Jan
|
| 3. |
Кратко, М. И.
Формальные исчисления Поста и конечные автоматы / М. И. Кратко. - М. : [б. и.], 1966. - [24] с. - Бібліогр.: с. 65
|
| 4. |
Формальное описание алгоритмического языка АЛГЭК - У / Моск. экон.-стат. ин-т, Отраслевая науч.-исслед. лаб. теории механизир. обраб. экон. информ. ; [подгот.: Королёв М. А. и др.]. - М. : [б. и.], 1966. - 59 с. - 800 прим.
Дод. точки доступу:
Королёв, М. А. (подгот.); Алферова, З. В. (подгот.); Данелян, Т. Я. (подгот.); Московский экономико-статистический институт. Отраслевая научно-исследовательская лаборатория теории механизированной обработки экономической информации
|
| 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 с. - ISBN 5-325-00485-9
Дод. точки доступу:
Чаленко, Павло Йосипович
|
| 11. |
Шрамченко, Борис Лазаревич
Конспект лекцій з курсу "Лінгвістичне забезпечення САПР" : для студ. спец. 6.0804 "Комп'ютерні технології" / Б. Л. Шрамченко. - К. : Державна академія легкої промисловості України, 1995 .
Ч. 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 с. - ISBN 966-02-0297-0
Дод. точки доступу:
Національна академія наук України; Український мовно-інформаційний фонд (Київ)
|
| 18. |
Варій, Мирон Йосипович.
Формальні групи військового підрозділу: соціально- психологічний аспект : наук.-метод. посібник / М. Й. Варій ; Державний ун-т "Львівська політехніка". Відділення військової підготовки. - Львів : [б.в.], 1997. - 32 с.
Дод. точки доступу:
Державний ун-т "Львівська політехніка". Відділення військової підготовки
|
| 19. |
Системная информатика / ред. В. Котов ; РАН. СО, Институт систем информатики. - Новосибирск : ВО "Наука", 1991 .
Вып. 5 : Архитектурные, формальные и программные модели / РАН. СО, Институт систем информатики имени А. П. Ершова ; ред. И. В. Поттосин. - Новосибирск : Наука. Сибирское предприятие РАН, 1997. - 334 с. - (Системная информатика / РАН. СО, Институт систем информатики им. А.П.Ершова). - ISBN 5-02-030697-5
Дод. точки доступу:
Котов, В.Е. \ред.\; Поттосин, И. В. (ред.); РАН. СО; Институт систем информатики имени А. П. ЕршоваРАН. СО; Институт систем информатики
|
| 20. |
Ніка, Оксана Іванівна.
Дієприслівник у структурі речень староукраїнської мови другої половини XVI- першої половини XVІІ ст. (формально- синтаксичний, семантичний та комунікативний аспекти) : дис... канд. філол. наук: 10.02.01 / Ніка Оксана Іванівна ; Київський ун-т ім. Тараса Шевченка. - К., 1998. - 165 л. - л.154-165
Дод. точки доступу:
Київський університет імені Тараса Шевченка
|
| | |
Простий
Національна бібліотека України імені В. І. Вернадського
