Індекс рубрикатора НБУВ: Ш4г(4Укр)6 + Ш5(4Укр)-34

Рубрики:

Література

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

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

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

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

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

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

Зроблено порівняльний аналіз змістового наповнення дисциплін, які відповідають Міжнародному стандарту Сomputer Science'2013 та українському стандарту освітньо-професійної підготовки бакалаврів за напрямом підготовки "Інформатика". Описано е-компетенції (European e-Competence Framework), наведено дескриптори та відповідні їм рівні застосування компетенцій: розробка, проектування та розробка; інтеграція систем; тестування; розгортання рішень; розробка документації; керування проблемами.

Сделан сравнительный анализ содержательного наполнения дисциплин, соответствующих Международному стандарту Сomputer Science'2013 и cтандарту Украины по образовательно-профессиональной подготовке бакалавров по направлению "Информатика". Описаны е-компетенции (European e-Competence Framework), названы дескрипторы и соответствующие им уровни применения компетенций: разработка, проектирование и разработка; интеграция систем, тестирование; развертывание решений, разработка документации, управление проблемами.

Review of ways to modernize national IT-education is presented. Comparative analysis of Ukrainian standard of educational training in informatics with recognized international standards is performed. Approach to development of a competency-based standard of higher It-education is suggested, which will include formed in accordance with IT-industry requirements competencies basing on European framework of ICT-competences 2.0 and list of subjects agreed due to international standards.

Індекс рубрикатора НБУВ: Ш5(4Укр)6-328.8 + Ш5(Ук=7Сое)-4 Маланюк, Є. 3 + Ш5(7Сое=Ук)-304 + Ш400.221.8

Рубрики:

Література

Інші літературні напрямки <теорія л-ри>

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

Наведено порівняльний аналіз українського стандарту освітньо-професійної підготовки та міжнародного стандарту Computer Science'2013. Наведено пропозиції для покращання українського освітнього стандарту.

Наведено порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики з міжнародним стандартом Computer Science'2013 та з державним освітнім стандартом Російської Федерації за напрямом підготовки 230100 "Інформатика та обчислювальна техніка". Наведено пропозиції для покращання українського освітнього стандарту.

Наведено порівняльний аналіз українського стандарту освітньо-професійної підготовки та державного освітнього стандарту Російської Федерації за напрямом підготовки 230100 "Інформатика та обчислювальна техніка". Наведено пропозиції для покращання українського освітнього стандарту.

Наведено порівняльний аналіз українського стандарту освітньо-професійної підготовки бакалаврів з інформатики та Computer Science'2008. Наведено пропозиції для покращання українського освітнього стандарту.

Розробка програмного забезпечення в Україні є індустрією, що динамічно розвивається. Проблема підвищення якості професійної підготовки ІТ-спеціалістів, кваліфікація та рівень компетенцій яких відповідали б сучасним потребам ІТ-ринку та світовим вимогам є актуальною. Одним з ключових елементів професійної підготовки ІТ-фахівців є дисципліни циклу професійної та практичної підготовки фахівців з інформатики. Однією з ключових дисциплін циклу професійної та практичної підготовки фахівців з інформатики є дисципліна "Програмування". Переглянуто перелік дисциплін циклу професійної та практичної підготовки. Надано рекомендації з оновлення змісту дисциплін професійної та практичної підготовки фахівців з інформатики з урахуванням розробки компетентнісно орієнтованого стандарту з інформатики. На прикладі розробки робочої навчальної програми дисципліни "Програмування", яка є складовою освітньо-професійної програми підготовки фахівців за освітньо-кваліфікаційним рівнем "бакалавр" галузі знань "Інформатика" з напряму підготовки 6.040302 "Інформатика" та читається студентам другого курсу. Показано, що на основі Європейської рамки ІКТ-компетенцій 2.0 можна розробити компетентнісно орієнтований стандарт вищої освіти, в якому будуть сформовані компетентності, що відповідають вимогам ІТ-галузі та світовим вимогам. Такі заходи сприятимуть підвищенню якості підготовки кваліфікованих фахівців з інформатики з метою досягнення відповідності рівня компетенцій вимогам сучасного ІТ-ринку та світовим стандартам.

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

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

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

Наведено порівняльний аналіз освітньо-професійної програми "Інформатика" першого (бакалаврського) рівня вищої освіти галузі знань 12 "Інформаційні технології", спеціальності 122 "Комп'ютерні науки", що реалізується на факультеті комп'ютерних наук та кібернетики Київського національного універистету ім. Тараса Шевченка з освітньо-професійними програмами того ж рівня й спеціальності інших закладів вищої освіти України. Під час аналізу здійснювалось їх співставлення з затвердженим стандартом першого (бакалаврського) рівня вищої освіти за спеціальністю 122 "Комп'ютерні науки". З метою проведення порівняльного аналізу авторами розроблено базу даних освітніх програм. Результатом дослідження є перевірка освітньої програми "Інформатика" на повноту та достатність. Проаналізовано співвідношення компетентностей та дисциплін в різних програмах за спільною спеціальністю.

Посібник спрямовано на поглиблене вивчення тактики та методики проведення слідчих (розшукових) дій, а також набуття знань та формування практичних навичок при вирішенні відповідних завдань, що пов’язані з розслідуванням кримінального правопорушення. Розглянуто виникнення і розвиток криміналістики у світі та в Україні, історію виникнення і розвитку криміналістичних закладів України. Окреслено сучасний стан і перспективи розвитку криміналістики в Україні. Сформульовано поняття, предмет та завдання криміналістики, природа та принципи криміналістики. Викладено систему криміналістики, класифікацію методів криміналістики та їх види. З'ясовано місце криміналістики в системі правових наук. Викладено аспекти розслідування кримінальних правопорушень, тактичних прийомів проведення слідчих (розшукових) дій та використання їх результатів у кримінальному судочинстві.

Наведено аналіз освітньо-професійної програми "Інформатика" першого (бакалаврського) рівня вищої освіти галузі знань 12 "Інформаційні технології", спеціальності 122 "Комп'ютерні науки", що реалізується на факультеті комп'ютерних наук та кібернетики Київського національного університету ім. Тараса Шевченка з освітніми програмами того ж рівня й спеціальності інших закладів вищої освіти України в розрізі програмних результатів". Під час аналізу здійснювалось їх співставлення з затвердженим стандартом першого (бакалаврського) рівня вищої освіти за спеціальністю 122 "Комп'ютерні науки" та порівняльний аналіз освітніх програм. Авторами розроблено базу даних освітніх програм, проаналізовано співвідношення програмних результатів в різних програмах за спільною спеціальністю.

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