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

Представлены очерки начальных этапов становления исторического краеведения Крыма: характеристика ученых путешествий, организованных Петербургской Академией Наук, а также отечественных и зарубежных путешественников конца ХVIII - начала ХХ вв., среди которых - К.Качковский, В.В.Пассек, А.М.Фадеев, О.П.Шишкина, А.А.Скальковский и др. В обзоре их трудов особое внимание уделяется роли данных сочинений в развитии исторического краеведения Крыма. Анализируется оригинальный жанр краеведческой литературы - путеводители по Крыму, изданные в ХІХ - начале ХХ вв. Представлены два библиографических указателя, в которых приведены выявленные записки путешественников и путеводители конца XVIII - начала ХХ вв.

На основе корпуса ранее неизвестных источников воссоздана история становления и деятельности музеев Крыма. Приведены биографические очерки деятелей музейного дела в Таврической губернии, а также список их опубликованных и рукописных трудов. Изучена роль ученых из ведущих университетских центров страны (Санкт-Петербург, Киев, Москва, Одесса) в становлении и развитии научных центров в Крыму.

На основе различных архивных документов освещаются отдельные страницы развития исторического краеведения Крыма в ХІХ - в начале ХХ вв. Исследуется историческое краеведение Крыма на страницах местной периодической печати, рассматривается деятельность Таврической ученой архивной комиссии - центра крымоведческих исследований в 1887-1923 гг. Показана роль Русского музея в изучении этнографии народов Крыма, а также проведено исследование исторического краеведения в революционные годы. Раскрывается вклад в развитие исторической науки Крыма известных краеведов - А.Л.Бертье-Делагарда, Ф.К.Бруна, Л.П.Колли, Ф.Ф.Лашкова, А.И.Маркевича, Н.А.Маркса, А.Н.Самойловича и других.

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

Впервые воссоздан жизненный и творческий путь крупнейшего крымского краеведа конца ХІХ - первой трети ХХ века - А.И.Маркевича (1855 - 1942). На основе обширного корпуса эпистолярных источников восстановлены его научные связи с крупнейшими отечественными историками из академических центров. На фоне биографии ученого раскрыты сложные социально-политические процессы первой трети ХХ в.

Освещена история развития крымоведческих библиографических исследований. Приведено описание книг, журнальных и газетных статей, связанных с историко-этнографическим изучением народов Крыма, изданных на европейских языках с 1783 по 1920 гг. В научный оборот введено более 6,5 тысяч ранее неизвестных изысканий, опубликованных и сохранившихся в рукописном виде, обнаруженных более чем в 30 архивных хранилищах Украины, Российской Федерации, Армении.

На підставі узагальнення архівних і бібліографічних джерел наведено результати комплексного дослідження етапів вивчення історії та етнографії Криму наприкінці XVIII - на початку XX ст. Висвітлено бібліографічну спадщину істориків-кримознавців із наукових центрів Росії: С.-Петербурга та Москви, а також одеських учених. Розглянуто особливості розвитку історико-кримознавчих досліджень у Києві. Охарактеризовано путівники як жанр краєзнавчої літератури. Проаналізовано історичне кримознавство на сторінках періодичної преси Новоросійського краю.

На основе обобщения архивных и библиографических источников приведены результаты комплексного исследования этапов изучения истории и этнографии Крыма в конце XVIII - начале ХХ вв. Проанализировано библиографическое наследие историков крымоведов из научных центров С.-Петербурга и Москвы, а также одесских ученых. Рассмотрены особенности развития историко-крымоведческих исследований в Киеве. Охарактеризованы путеводители как жанр страноведческой литературы. Проанализировано историческое крымоведение на страницах периодической прессы Новороссийского края.

Індекс рубрикатора НБУВ: Ч612.11(4УКР) + Т211(4УКР7)5

Рубрики:

Зміст преси

Джерелознавство

Шифр НБУВ: Ж69017 Пошук видання у каталогах НБУВ 

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

Рассмотрены этапы развития этнографических исследований Крыма, представлены сведения о краеведах, сделавших значительный вклад в народоведческие студии. Освещены страницы жизни и деятельности А.Музыченка как этнографа болгарского населения Крыма. Указано, что его труды сегодня недоступны потенциальному исследователю, поскольку распорошены по разных провинциальных изданиях, что давно уже стали библиографической редкостью.

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

Шифр НБУВ: Ж21929 Пошук видання у каталогах НБУВ 

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

Освещена деятельность малоизвестного востоковеда А.Олесницкого, который еще студентом активно разрабатывал вопросы крымскотатарской этнографии. Подчеркнуто важное научное и культурно-познавательное значение крымоведческих исследований ученого, принципиальным отличием которых является научный подход к собранным материалам, использование справочного аппарата в публикациях, основательная база источников.

Індекс рубрикатора НБУВ: Т52(23=УКР6А/Я) + Ш050

Рубрики:

Етнографія сучасних народів

Східна філологія (в цілому)

Шифр НБУВ: Ж21929 Пошук видання у каталогах НБУВ 

Приведены информативные источники из Центрального муниципального архива Москвы, позволяющие раскрыть историю памятникоохранительной деятельности в Крыму в 1920-е гг. Освещена деятельность Центральных государственных реставрационных мастерских по исследованию памятников христианской и мусульманской архитектуры средневекового периода в Бахчисарае, Карасубазаре, Херсонесском городище, Инкермане, Судаке, Феодосии, Керчи. Дана информация о таких ученых, как И.Э.Грабарь, А.И.Маркевич, К.Ф.Богаевский, У.А.Боданинский, П.Я.Чепурина, Г.А.Бонч-Осмоловский, Д.В.Айналов, А.И.Полканов.

Изложены базовые принципы и методология доказательной медицины. Освещены принципы правильной постановки клинических вопросов и поиска лучших современных клинических доказательств. Изложена информация, касающаяся оценки достоверности и надежности диагностического теста, прогностического исследования, результатов индивидуального исследования, систематического обзора. Рассмотрена проблема применимости доказательств побочного эффекта препарата у конкретного больного.

Изложены результаты крымоведческих ориенталистических исследований, проведенных на протяжении 1783 - 1941 гг. Приведены сведения о работе экспедиций по изучению памятников истории и культуры народов Крыма, организованных Петербургской Академией наук в конце XVIII - начале XIX ст., раскрыты их достижения, в частности, создание первых в российской историографии крымоведчеких исторических сочинений высокого научного уровня (Е.Е. Келер), формирование основ развития научной крымоведческой этнографии (В.Ф. Зуев, П.С. Паллас), установление контактов с зарубежными учеными обществами и активизация деятельности западноевропейских исследователей Крыма, составление подробных карт Тавриды, популяризация знаний о крае. Освещена жизнь и научная деятельность известных российских и украинских крымоведов-ориенталистов: В.В. Григорьева, И.Н. Березина, Н.И. Веселовского, Ф.Ф. Лашкова, Х.И. Кучук-Иоаннесова, В.А. Гордлевского, А.А. Олесницкого, А.Е. Крымского, В.Д. Смирнова, А.А. Андриевского, М.В. Базилевича, П.А. Фалева, А.Н. Самойловича, И.Ю. Крачковского. Приведены материалы о нереализованных крымоведческих проектах 1930-х гг. и изучении крымской народной поэзии.

Індекс рубрикатора НБУВ: Р413.601.1-37

Рубрики:

Панкреатити

Шифр НБУВ: Ж26838 Пошук видання у каталогах НБУВ 

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

Рубрики:

Ендокардити

Шифр НБУВ: Ж14579 Пошук видання у каталогах НБУВ 

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

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