Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ЛОГІКА$<.>) |
Загальна кількість знайдених документів : 656
Представлено документи з 1 до 20
|
| | |
|
| | | |
|
| 1. |
ДС53704
Резаненко, Володимир Федорович.
Формально- змістові взаємозв'язки елементів сучасної ієрогліфічної писемності [Текст] : дис... д-ра філол. наук: 10.02.15 / Резаненко Володимир Федорович ; Київський ун-т ім. Т.Г.Шевченка. - К., 1996. - 431 с.: табл.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 2. |
ДС81670
Навчук, Галина Василівна.
Формально-синтаксичні та функціонально-семантичні особливості окличних речень у сучасній українській мові [Текст] : дис... канд. філол. наук: 10.02.01 / Навчук Галина Василівна ; Кам'янець-Подільський держ. ун-т. - Кам'янець-Подільський, 2004. - 205 арк. - арк. 180-202
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 3. |
ДС95277
Комарова, Зоя Іванівна.
Формально-синтаксичні і семантико-функціональні параметри дієприслівникових зворотів у структурі речення [Текст] : дис... канд. філол. наук: 10.02.01 / Комарова Зоя Іванівна ; Національний педагогічний ун-т ім. М.П.Драгоманова. - К., 2003. - 204 арк. - арк. 180-204
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 4. |
ДС87096
Білоус, Тетяна Миколаївна.
Роль ідеалізації в сучасній формальній епістемології [Текст] : дис... канд. філос. наук: 09.00.01 / Білоус Тетяна Миколаївна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 195 арк. - арк. 180-195
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 5. |
ДС87404
Степаненко, Микола Іванович.
Семантична і формально-граматична структура речень із просторовими поширювачами [Текст] : дис... д-ра філол. наук: 10.02.01 / Степаненко Микола Іванович ; Полтавський держ. педагогічний ун-т ім. В.Г.Короленка. - Полтава, 2004. - 513 арк. - арк. 451-513
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 6. |
ДС88215
Кохан, Ярослав Олексійович.
Часова логіка: семантика тривалості [Текст] : дис... канд. філос. наук: 09.00.06 / Я. О. Кохан ; Ін-т філософії ім. Г. С. Сковороди НАН України. - К., 2004. - 221 арк. - арк. 196-206
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 7. |
ДС97816
Юзва, Людмила Леонідівна.
Логіка запитань і валідизація соціологічного опитувальника [Текст] : дис... канд. соціол. наук: 22.00.02 / Юзва Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 273 арк. - арк. 210-224
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 8. |
ДС92521
Четвериков, Григорій Григорович.
Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем [Текст] : дис... д-ра техн. наук: 05.13.23 / Четвериков Григорій Григорович ; Харківський національний ун-т радіоелектроніки. - Х., 2005. - 320 арк. - арк. 275-293
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 9. |
ДС103153
Андреєв, Олег Олексійович.
Логіка і методологія науки в творчості В.І.Вернадського [Текст] : дис... канд. філос. наук: 09.00.08 / Андреєв Олег Олексійович ; НАН України, Центр дослідж. наук.-техн. потенціалу та історії науки ім. Г.М.Доброва. - К., 2007. - 198 арк. - Бібліогр.: арк. 181-198
Рубрики:
Географічні рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 10. |
ДС106631
Круковський, Максим Юрійович.
Побудова системи електронного документообігу на основі формальних моделей [Текст] : дис... канд. техн. наук: 05.13.06 / Круковський Максим Юрійович ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 2006. - 175 арк. : рис., табл. - Бібліогр.: арк. 149-156.
Рубрики:
Географічні рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 11. |
ДС107018
Сівко, Лідія Вікторівна.
Формально-теоретична структура архітектурного простору (на прикладі енергетичних комплексів) [Текст] : дис... канд. архітектури: 18.00.01 / Сівко Лідія Вікторівна ; Державний НДІ теорії та історії архітектури і містобудування. - К., 2007. - 160 арк.; 14 арк. рис. - арк. 145-159
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 12. |
ДС49047
Моренець, Володимир Пилипович.
Сучасна українська лірика (особливості розвитку і логіка саморуху) [Текст] : дис...д-ра філол. наук: 10.01.02 / Моренець Володимир Пилипович ; НАН України, Ін-т л-ри ім. Т. Г. Шевченка. - К., 1994. - 442 л.
Рубрики:
Географічні рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 13. |
ДС63118
Харчіладзе, Дарія Володимирівна.
Формально- семантичні особливості композитів VN- структури у сучасній італійській мові [Текст] : дис... канд. філол. наук: 10.02.05 / Харчіладзе Дарія Володимирівна ; Київський ун-т ім. Тараса Шевченка. - К., 1998. - 150 л. - л. 137-149
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 14. |
ДС51189
Жлуктенко, Святослав Володимирович.
Розробка і дослідження формальних процедур системного аналізу для вирішення задач моделювання і прийняття рішень в складних системах з невизначеністю опису [Текст] : дис... канд. технічний наук: 05.13.02 / Жлуктенко Святослав Володимирович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1996. - 219 л.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 15. |
ДС60521
Спекторський, Ігор Якович.
Стохастичні рівняння в просторах формальних рядів і формальних відображень [Текст] : дис... канд. фіз.-мат. наук: 01.01.05 / Спекторський Ігор Якович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1999. - 114 л. - л. 109-114
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 16. |
ДС63681
Бабич, Богдан Віталійович.
Інтерпретаційна модель формально-синтаксичних структур української мови [Текст] : дис... канд. філол. наук: 10.02.01 / Бабич Богдан Віталійович ; Нац. акад. наук України, Укр. мовно-інформ. фонд. - К., 2000. - 200 л. - Бібліогр.: л. 180-200.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 17. |
ДС63840
Ніка, Оксана Іванівна.
Дієприслівник у структурі речень староукраїнської мови другої половини XVI- першої половини XVІІ ст. (формально- синтаксичний, семантичний та комунікативний аспекти) [Текст] : дис... канд. філол. наук: 10.02.01 / Ніка Оксана Іванівна ; Київський ун-т ім. Тараса Шевченка. - К., 1998. - 165 л. - л.154-165
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 18. |
ДС69475
Самофалов, Павел Леонидович.
Методы применения таблиц решений в системах формального вывода и програмных комплексах [Текст] : дис... канд. техн. наук: 01.05.03 / Самофалов Павел Леонидович ; Харьковский гос. технический ун-т радиоэлектроники. - Х., 2001. - 166 л.: рис. - Библиогр.: л. 157-162
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 19. |
ДС71323
Демірська, Інна Олександрівна.
Логіка і філософія: парадигми розвитку (історико- філософський аналіз) [Текст] : дис... канд. філос. наук: 09.00.05 / Демірська Інна Олександрівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2001. - 179 арк. - арк.165-179
Рубрики:
Географічні рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 20. |
ДС73372
Рошко, Світлана Михайлівна.
Формально-граматична та функціонально-семантична структура порівняльних синтаксем і підрядних речень у сучасній українській мові [Текст] : дис... канд. філол. наук: 10.02.01 / Рошко Світлана Михайлівна ; Ужгородський національний ун-т. - Ужгород, 2001. - 201 арк. - арк. 178-201
Рубрики:
Видання зберігається у :
Основний фонд
| |
| | |
Простий пошук
Віртуальна довідка