Бази даних

Автореферати дисертацій - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (2)Наукова електронна бібліотека (459)Реферативна база даних (9867)Книжкові видання та компакт-диски (730)Журнали та продовжувані видання (20)
Пошуковий запит: (<.>K=ДИФЕРЕНЦІАЛЬНЕ$<.>+<.>K=ЧИСЛЕНН$<.>)
Загальна кількість знайдених документів : 361
Представлено документи з 1 до 20
...

      
1.

Шпанько І.В. 
Перехресний кореляційний аналіз реакцій нуклеофільного заміщення. Явище ізопараметричності та структура перехідних станів: Автореф. дис... д-ра хім. наук: 02.00.03 / І.В. Шпанько ; НАН України. Ін-т фіз.-орган. хімії та вуглехімії ім. Л.М.Литвиненка. — Донецьк, 1998. — 32 с. — укp.

Дисертацію присвячено питанням перехресного кореляційного аналізу реакцій нуклеофільного заміщення за участю бензоїльних, бензильних та бензгідрильних субстратів. Започатковано новий напрямок у дослідженні механізмів цих реакцій. Він грунтується на багатофакторному кореляційному аналізі зв'язків між реактивністю систем субстрат - нуклеофіл і структурою реактантів, властивостями середовища та температурою. На підставі багатофакторних кінетичних експериментів отримано численні докази унікального явища ізопараметричності. Впроваджено методологію використання коефіцієнтів перехресної взаємодії та ізопараметричних точок як кількісних індексів механізмів реакцій і структури їх перехідних станів.

  Скачати повний текст


Індекс рубрикатора НБУВ: Г221.6/7

      
2.

Шелюто В.М. 
Колоніальна політика Іспанії в Африці у 1956-1975 рр.: Автореф. дис... канд. іст. наук: 07.00.02 / В.М. Шелюто ; Харк. держ. ун-т. — Х., 1998. — 18 с. — укp.

Проаналізована проблема іспанської колоніальної політики в Марокко, Західній Сахарі, Екваторіальній Гвінеї періоду деколонізації. Базуючись на численних джерелах та літературі іспанською, французькою, англійською та російською мовами, автор досліджує економічну, культурну, соціальну політику Іспанії в її африканських володіннях, становлення та розвиток національно-визвольного руху в колоніях, міжнародні угоди Іспанії з африканськими країнами.

  Скачати повний текст


Індекс рубрикатора НБУВ: Т3(4ИСП)63-69(6)

Рубрики:

      
3.

Жицька Т.В. 
Спиридон Черкасенко і театр: Автореф. дис... канд. мистецтвознав.: 17.00.02. / Т.В. Жицька ; НАН України. Ін-т мистецтвознав., фольклористики та етнології ім. М.Т.Рильського. — К., 1998. — 18 с. — укp.

Дисертація є першою спробою комплексно осмислити, проаналізувати і систематизувати творчий набуток С.Черкасенка (1876-1940), ім'я якого впродовж тривалого часу було вилучено із мистецького і наукового обігу. Основна увага приділена дослідженню таких аспектів: визначенню естетичних засад драматургії С.Черкасенка, аналізові сценічних втілень його п'єс і розгляду здобутків Черкасенка-критика. Крім того, принагідно наводиться уточнена і узагальнена хроніка життєпису С.Черкасенка. Таким чином, це дослідження, заповнюючи одну з численних "прогалин" в історії національної культури, зможе прислужитись при написанні якісно нової історії українського мистецтва, потреба у якій сьогодні надзвичайно висока.

  Скачати повний текст


Індекс рубрикатора НБУВ: Щ334.3(4УКР)6-074

Рубрики:

Географічні рубрики:

      
4.

Тустановська І.В. 
Застосування права в галузі охорони довкілля в Україні та США (порівняльний аналіз): Автореф. дис... канд. юрид. наук: 12.00.06 / І.В. Тустановська ; Львів. держ. ун-т ім.І.Франка. — Л., 1998. — 16 с. — укp.

У дисертації досліджуються та порівнюються поняття застосування права в галузі охорони довкілля в українській та американській правовій концепції, визначається коло його суб'єктів, аналізується правозастосовча діяльність органів Міністерства охорони навколишнього природного середовища та ядерної безпеки України та Агентства з охорони навколишнього середовища США, розкривається роль судових органів України та США у сфері охорони довкілля, підкреслюється необхідність активного залучення громадськості у правозастосовчі процеси. Формулюються численні пропозиції щодо вдосконалення українського екологічного законодавства та практики його застосування з врахуванням американського досвіду у цій сфері.

  Скачати повний текст


Індекс рубрикатора НБУВ: Х859(4УКР)03

Рубрики:
  

Географічні рубрики:

      
5.

Малютіна Т.П. 
Інтерпретація обчислювальної геометрії плоских фігур у точковому численні: Автореф. дис... канд. техн. наук: 05.01.01 / Т.П. Малютіна ; Київ. держ. техн. ун-т буд-ва і архіт. — К., 1998. — 16 с. — укp.

У дисертаційній роботі на основі точкового числення розглянуті наступні теоретичні та прикладні питання обчислювальної геометрії плоских фігур: методика конструювання плоских форм у просторі як основа геометричного моделювання в системі заданого симплексу; обчислювальні формули та співвідношення як обчислювальний інструментарій геометричних операцій на площині; алгоритми конструювання криволінійних форм з урахуванням заданих характеристик та їх програмна реалізація. Запропонована методика конструювання плоских форм у просторі пройшла попередню апробацію у вигляді впроваджених алгоритмів конструювання геометричних форм на практиці реального проектування, обстеження будівельних конструкцій в процесі експлуатації та в начальному процесі.

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.630

Рубрики:

      
6.

Фігурний Ю.С. 
Архаїчні елементи культури козацтва в контексті українознавства: Автореф. дис... канд. іст. наук: 09.00.12 / Ю.С. Фігурний ; Київ. ун-т ім. Т.Шевченка, Ін-т українознав. — К., 1999. — 19 с. — укp.

Розглядається сукупність архаїчних елементів в культурному комплексі українського козацтва, як складової і невід'ємної частини індоєвропейської мілітарної традиції. Для цього залучається велика міждисциплінарна джерельна база; проводиться комплексне дослідження глибоких коренів визначальних елементів козацького культурного комплексу (культи коня та шаблі, козаки-характерники, кобзарі - співці лицарської слави, червоний колір, джури-молодики, зв'язок битви з бенкетом, особливе ставлення козака до жінки тощо); виділяються тюркські впливи в традиційній козацькій культурі; вивчаються паралелі між культурою козацтва та пізнього середньовічного лицарства Західної Європи; аналізуються етапи формування індоєвропейської військової традиції і українського козацтва як її складової частини. Робиться висновок, що досліджуючи культуру українського козацтва, ми виявляємо значну кількість архаїчних елементів загальноіндоєвропейської культурної традиції. Вони мають численні паралелі з культурою середньовічного європейського лицарства і сягають прадавньої глибини індоєвропейської мілітарної традиції.

  Скачати повний текст


Індекс рубрикатора НБУВ: Т3(4Укр)4-294 + Т52(23=Укр3А/Я)

Рубрики:

Географічні рубрики:
  

      
7.

Мухаммед Ясин Рахахле 
Організаційно-методологічні аспекти аудиту фінансової звітності в діяльності комерційних банків: Автореф. дис... канд. екон. наук: 08.06.04 / Мухаммед Ясин Рахахле ; Київ. держ. торг.-екон. ун-т. — К., 1999. — 20 с. — укp.

Дисертаційна робота присвячена актуальним проблемам теоретичних, методологічних і організаційних аспектів аудиту фінансової звітності в діяльності комерційних банків, обумовлених переходом України до ринкової економіки. На підставі аналізу численних літературних джерел наведені різноманітні визначення комерційного банку, фінансової звітності, аудиту, розкрита їхня сутність. Обгрунтовано і запропоновано класифікацію ринків банківських послуг, різновидів фінансової звітності, з'ясовано перелік факторів, що визначають стан фінансової звітності, напрямки вдосконалення організаційних і методичних принципів зовнішнього та внутрішнього аудиту фінансової звітності комерційного банку. Сформульовані пропозиції з удосконалення внутрішнього контролю і фінансового аналізу звітності клієнта комерційного банку.

  Скачати повний текст


Індекс рубрикатора НБУВ: У052.9(4УКР)226.210

Рубрики:

Географічні рубрики:

      
8.

Скиба В.М. 
Оптимізація методів і обгрунтування диференційованих строків оздоровлення та відновлювального лікування найбільш поширених захворювань у санаторіях-профілакторіях: Автореф. дис... канд. мед. наук: 14.01.33 / В.М. Скиба ; Укр. НДІ мед. реабілітації та курортології. — О., 1999. — 21 с. — укp.

В дисертаційній роботі проведено аналіз зміни стану та діяльності санаторіїв-профілакторіїв (СП) України за нових соціально-економічних умов. Розглянуто численні сторони їх профілактичної та лікувальної роботи, представлено рекомендації до їх оптимізації. Вивчено питання диференційованих термінів оздоровлення і відновлювального лікування. Визначено терміни: оздоровлення - 14 дн, лікувльно-профілактичний - 18 дн, лікувально-реабілітаційний - 21-24 дн. Залежно від фаху, умов роботи і характеру розповсюдженої патології керівництво С-П може деякою мірою змінювати їх у конкретному С-П.

  Скачати повний текст


Індекс рубрикатора НБУВ: Р11(4УКР)285.47

Рубрики:

Географічні рубрики:

      
Категорія: Будівництво   
9.

Живодеров М.А. 
Конструкції з термопластичними елементами для вирівнювання будівель і споруд: Автореф. дис... канд. техн. наук: 05.23.01 / М.А. Живодеров ; Донбас. держ. акад. буд-ва і архіт. — Макіївка, 1999. — 19 с. — укp.

Дисертацію присвячено питанням вирівнювання безкаркасних будівель у складних гірничо-геологічних умовах. Розроблено конструкції з термопластичними елементами з асфальтобетону для вирівнювання житлових будівель висотою до дев'яти поверхів. Опрацьовано інженерні методи розрахунку тривалої міцності конструкції з асфальтобетонними елементами, що базуються на численному інтегруванні рівнянь граничної рівноваги зв'язно-сипкого середовища. Виконано комплекс експериментальних досліджень короткочасної і тривалої міцності конструкцій із термопластичними елементами з асфальту. Досліджено закономірності термопластичного осідання конструкцій з асфальтобетонними елементами під час однобічного нагріву їх за допомогою електронагрівачів. Виконано перевірку працездатності пропонованих конструкцій із асфальтобетонними елементами в умовах натурних експериментів.

  Скачати повний текст


Індекс рубрикатора НБУВ: Н581.121.5

Рубрики:

      
10.

Калінюк О.О. 
Композиційно-мовленнєва форма "опис" в науково-фантастичному тексті (на матеріалі науково-фантастичних творів англійських та американських авторів ХХ століття): Автореф. дис... канд. філол. наук: 10.02.04 / О.О. Калінюк ; Одес. держ. ун-т ім. І.І.Мечникова. — О., 1999. — 16 с. — укp.

Дисертація присвячена кількісному, функціональному і якісному аналізу і класифікації трьох видів композиційно-мовленнєвої форми "опис" - опис персонажа (портрет), опис відкритого простору (пейзаж), опис закритого простору (інтер'єр) - у науково-фантастичному тексті. Науково-фантастична література визначається як жанровий різновид художньої літератури, націлений на словесно-художнє зображення фантастичного світу як реально існуючого з дотриманням головного прийому остранення. Ефект чужинності, ірреальності зображеного світу в науково-фантастичній літературі досягається двома основними засобами: за рахунок відповідного конструювання референтного простору (що зображено) і за рахунок засобів його вербалізації (як зображено). Дослідження підтвердило жанрово детермінований характер портретних і просторових описів, що виявляється кількісними і якісними особливостями. Референтний простір науково-фантастичного тексту, предмети і істоти, які його складають, будується за принципом відхилення від норми, закону і стандартів людського буття. Особливості вербалізації референтного простору в науково-фантастичному тексті виявляються в численних структурах хезитації, порівняльних конструкціях, описових замість таксономічних номінацій, у використанні лексичних одиниць, що підкреслюють чужинність, незвичайність і частіше усього неприйняття автором (оповідачем) референтів.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ш143.21-70

Рубрики:

      
11.

Пономаренко В.В. 
Еволюція хтонічного образу в українському фольклорі: Автореф. дис... канд. філол. наук: 09.00.12 / В.В. Пономаренко ; Київ. ун-т ім. Т.Шевченка, Ін-т українознав. — К., 1999. — 19 с. — укp.

Дисертація присвячена вивченню хтонічного образу та його численних трансформацій у комплексі міфопоетичних уявлень українського народу. Український фольклорний матеріал хоча і відбиває загальні світові процеси розвитку міфологічної системи уявлень, але має специфічні риси, отже, потребує окремого розгляду. У процесі дослідження визначається місце, роль і значення хтонічних образів у системі народних звичаїв та вірувань. Аналіз функціонування архаїчних елементів культури дозволяє розглядати їх, як органічні форми, що забезпечують цілісність культури людства взагалі. Це дозволяє по-новому підійти до вивчення і викладання народнопоетичної творчості як феномену національної духовної культури, що за типом мислення тяжіє до міфології і до художньої літератури - як мистецтво слова.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ш3(2=1УК)-60

      
12.

Хорошун Б.І. 
Продовольча політика в Україні в 1920-1930-х роках: Автореф. дис... д-ра іст. наук: 07.00.01 / Б.І. Хорошун ; Київ. ун-т ім. Т.Шевченка. — К., 1999. — 35 с. — укp.

Дисертація присвячена комплексному дослідженню суті продовольчої політики більшовицької партії в Україні в 1920-1930-х роках. Аналізуються як позитивний досвід вирішення продовольчої проблеми в умовах непу (співіснування на селі різних форм господарювання, розвиток кооперативного руху і сільськогосподарської контрактації, матеріальна заінтересованість селянства у розширенні свого виробництва), так і ті злочинні дії сталінського керівництва, які були вчинені проти українського народу, передусім селянства, під час численних реквізицій, примусових хлібозаготівель, проведення колективізації і штучного голодомору 1932-1933 рр. Підкреслюється, що продовольча політика більшовицького режиму була складовою частиною сталінської політики щодо України, дієвим інструментом тиску і впливу на українське селянство, знаряддям терору проти нього.

  Скачати повний текст


Індекс рубрикатора НБУВ: Т3(4УКР)61-2

Рубрики:

Географічні рубрики:

      
13.

Громик Ю.В. 
Прислівники відзайменникового походження у західнополіських говірках української мови: Автореф. дис... канд. філол. наук: 10.02.01 / Ю.В. Громик ; НАН України. Ін-т мовознав. ім. О.О.Потебні. — К., 1999. — 17 с. — укp.

У дисертації досліджено лексико-семантичну сутність, фонетико-морфологічні особливості відзайменникових прислівників різних говіркових груп Західного Полісся в генетичному та лінгвогеографічному аспектах у взаємозв'язку із сучасною українською літературною мовою, іншими українськими говорами, а також суміжними слов'янськими мовами. На прикладі 1870 прислівників (включаючи і фонетико-морфологічні варіанти) простежено формування системи відзайменникових прислівників західнополіського говору, з'ясовано основні закономірності і тенденції розвитку цієї системи, продуктивність основних словотвірних моделей. Численний фактичний матеріал малює цілісну картину прислівників західнополіського говору.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ш141.4-672

      
14.

Далецький О.Ю. 
Диференціальні та псевдодиференціальні оператори на нескінченновимірних многовидах: Автореф. дис... д-ра фіз.-мат. наук: 01.01.01 / О.Ю. Далецький ; НАН України. Ін-т математики. — К., 1999. — 33 с. — укp.

Дисертацію присвячено розвитку теорії диференціальних та псевдодиференціальних операторів на нескінченновимірних многовидах. Головна увага приділяється розвитку ймовірнісного підходу до еліптичних диференціальних операторів на нескінченних продакт-многовидах та асимптотичним методам дослідження псевдодиференціальних операторів з символами на гільбертовому просторі (або многовиді). Зокрема, побудовані фелерові півгрупи, що асоційовані з операторами Діріхле гіббсівських мір на продакт-многовидах. Побудовано символьне числення для важливого класу псевдодиференціальних операторів з гільбертовим фазовим простором та квазікласичні розв'язки відповідних рівнянь Шредінгера. Побудовано функтор асимптотичного квантування класу нескінченновимірних симплектичних многовидів.

  Скачати повний текст


Індекс рубрикатора НБУВ: В162.631,022

Рубрики:

      
15.

Курчаба Т.М. 
Працевлаштування випускників вищого закладу освіти фізкультурного профілю у період переходу до ринкових відносин: Автореф. дис... канд. наук з фіз. виховання і спорту: 24.00.02 / Т.М. Курчаба ; Волин. держ. ун-т ім. Л.Українки. — Луцьк, 1999. — 16 с. — укp.

У дисертації подається системне бачення проблеми працевлаштування молодих спеціалістів-випускників вищого закладу освіти фізкультурного профілю в період переходу до ринкових відносин: описано особливості формування ринку праці в Україні, визначена роль вищої школи в питаннях працевлаштування випусників. Особливе місце приділено проблемам формування соціальної самосвідомості та подальшої соціальної адаптації випусників ВЗО фізкультурного профілю. У порівняльному плані проаналізовано специфіку соціального захисту та працевлаштування молодих спеціалістів за кордоном. У роботі розроблено і запропоновано напрямки розв'язання проблеми працевлаштування випусників галузевих вищих закладів освіти у сучасних умовах та на перспективу. На підтвердження висновків наведено численні статистичні дані - результати анкетування та безпосереднього опитування.

  Скачати повний текст


Індекс рубрикатора НБУВ: Ч51р31(4УКР)1-44

Географічні рубрики:

      
Категорія: Транспорт   
16.

Мамчук В.І. 
Математичне моделювання турбулентних примежових шарів та пристінних струменів: Автореф. дис... канд. техн. наук: 05.07.01 / В.І. Мамчук ; Київ. міжнар. ун-т цив. авіації. — К., 1999. — 19 с. — укp.

Розроблено математичну модель і чисельний скінченно-різницевий метод розрахунку стаціонарних нестисливих турбулентних пристінних струменів з урахуванням шорсткості та поперечної кривизни обтічної поверхні, наявності чи відсутності супутнього потоку, чи відсутності в супутньому потоці додатного або від'ємного градієнта тиску. Проведено обчислювальний експеримент з моделювання примежових шарів і пристінних струменів, в результаті чого уточнено методику задання граничних умов шляхом використання покращених кубічних сплайнів, з'ясовано значення модельних коефіцієнтів для дослідження видів течій, обгрунтовано переваги побудови неявного скінченно-різницевого методу 2-го порядку точності з сильними стабілізаційними властивостями, визначено діапазон використання розроблених математичної моделі і розрахункового методу. Численними порівняннями результатів тестових розрахунків з експериментальними даними продемонстровано спроможність розрахункового методу коректно відтворювати особливості розвитку досліджених турбулентних пристінних течій і враховувати вплив зазначених вище факторів адекватно до їх фізичної природи.

  Скачати повний текст


Індекс рубрикатора НБУВ: О52-011.1с31

      
17.

Сулім Р.А. 
М.Лисенко і Ф.Шопен у контексті українсько-польських культурних зв'язків: Автореф. дис... канд. мистецтвознав.: 17.00.01 / Р.А. Сулім ; Нац. муз. акад. України ім. П.І.Чайковського. — К., 1999. — 20 с. — укp.

В усьому розмаїтті аспектів дослідження творчої діяльності фундатора української композиторської школи М.В.Лисенка проблеми його контактів з польською культурою не знайшли належного висвітлення. Дисертація розширює уявлення про значення творчості Ф.Шопена у формуванні естетичних поглядів М.Лисенка, у становлені його як композитора, піаніста і педагога. В огляді навчального, концертного і педагогічного репертуару Лисенка висвітлюється значне місце фортепіанних творів польського композитора. На підставі численних документальних свідоцтв (періодичних видань, архівних матеріалів, спогадів сучасників, листів М.Лисенка) розкриваються деякі особливості його сприйняття та інтерпретації шопенівських творів. Простежується динаміка функціонування музики Ф.Шопена в українській культурі долисенківського періоду. На матеріалі аналізу фортепіанних творів М.Лисенка виявляються спадкоємні зв'язки його композиторського стилю з традиціями шопенівського романтизму. Зазначені питання розглядаються як в аспекті розвитку основних тенденцій музичного мистецтва того часу, так і в широкому соціально-політичному та історико-культурному контексті міжнаціональних стосунків, що склались між Україною і Польщею у ХІХ столітті. В огляді українсько-польських взаємозв'язків більш детально висвітлюються проблеми польських контактів М.В.Лисенка, а також українських ремінісценцій у творчості Ф.Шопена. Процеси взаємодії двох національних культур вивчаються автором даного дослідження з позицій новітніх чи раніше не опублікованих праць істориків, культурологів, літературознавців.

  Скачати повний текст


Індекс рубрикатора НБУВ: Щ313(4УКР)5-8

Рубрики:

Географічні рубрики:

      
18.

Дмитришин М.І. 
Вектори експоненціального типу операторів із дискретним спектром над банаховими просторами: Автореф. дис... канд. фіз.-мат. наук: 01.01.01 / М.І. Дмитришин ; Львів. держ. ун-т ім. І.Франка. — Л., 1999. — 16 с. — укp.

У дисертації для операторів із дискретним спектром встановлено ізоморфізм між просторами кореневих векторів і векторів експоненціального типу. Побудовано функціональне числення в інтерполяційних класах символів для повних операторів із дискретним спектром, зокрема, для генераторів аналітичних півгруп. Наведено застосування до теорії еліптичних диференціальних операторів.

  Скачати повний текст


Індекс рубрикатора НБУВ: В162.4,022

Рубрики:

      
19.

Гамбург Л.С. 
Судові реформи в Лівобержній Україні (Гетьманщині) XVIII ст.: Автореф. дис... канд. юрид. наук: 12.00.01 / Л.С. Гамбург ; Нац. юрид. акад. України ім. Я.Мудрого. — Х., 2000. — 20 с. — укp.

Досліджено проблеми становлення і розвитку судової системи Україна - Гетьманщина у другій половині XVII - XVIII ст. Проаналізовано судові реформи, що здійснювалися українськими гетьманами П.Л.Полуботком, Д.П.Апостолом і К.Г.Розумовським протягом XVIII ст., а також контрреформаторські заходи I та II Малоросійських колегій. Використано численні монографії та періодичні видання, проаналізовано широке коло відповідних архівних матеріалів та інших джерел. Зроблено висновок про складність і розгалуженість судової системи Україна - Гетьманщина, притаманність їй певних демократичних рис і комплексу внутрішніх суперечностей, на усунення яких було спрямовано судові реформи українських гетьманів.

  Скачати повний текст


Індекс рубрикатора НБУВ: Х2(4Укр)46-629 + Т3(4Укр)46-503
Шифр НБУВ: РА311011 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:

      
20.

Дрозд Ю.В. 
Методи та пристрої для виконання вертикальних арифметичних операцій: Автореф. дис... канд. техн. наук: 05.13.05 / Ю.В. Дрозд ; Одес. держ. політехн. ун-т. — О., 2000. — 19 с. — укp.

Розроблено багаторівневу модель виконання операції вертикального додавання, що підсумовує кількість одиниць паралельного коду з використанням способів перекладу чисел із однієї системи числення до іншої. Визначено операції ділення кількості та упорядкування одиниць, а також способи їх виконання на рівнях моделі. Запропоновано методи проектування пристроїв для упорядкування та ділення кількості одиниць, а також вертикального додавання. Дані методи дозволяють оцінювати відомі рішення та одержувати нові, що перевищують відомі за швидкодією та/або витратами обладнання. Результати роботи використано для розробки арифметичного блоку системи цифрової обробки сигналів.

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.222-01 + З973.44-018
Шифр НБУВ: РА309686 Пошук видання у каталогах НБУВ 

Рубрики:
  
...
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського