Наукові видання каф-ри інформатики та інформаційних технологій
Постійне посилання зібранняhttps://dspace.cusu.edu.ua/handle/123456789/140
Переглянути
6 результатів
collection.search.results.head
Документ Формування аналітичної компетентності майбутнього вчителя інформатики при розв’язуванні завдань на проектування баз даних(РВВ ЦДПУ ім. В. Винниченка, 2018) Копотій, Вікторія Володимирівна; Копотий, Виктория Владимировна; Kopotiy, Viktoriia Volodymyrivna; Пузікова, Анна Валентинівна; Пузикова, Анна Валентиновна; Puzikova, Anna Valentynivna(ua) Стаття присвячена проблемам формування професійної компетентності вчителя інформатики у рамках компетентнісного підходу до навчання студентів. Зокрема, розглядається одна із складових професійної компетентності - аналітична компетентність. Її формування здійснюється через добір компетентнісних завдань, особливістю яких є практична спрямованість, зв’язок із реальними життєвими ситуаціями і міжпредметний характер. Компетентнісними завданнями з комп’ютерних дисциплін можуть виступати комплексні задачі прикладного характеру, для яких обов’язковим є застосування сучасних інформаційно-комунікаційних технологій. У даній роботі описано досвід формування аналітичної компетентності майбутнього вчителя інформатики при вивченні дисципліни «Бази даних», а також запропоновано приклад компетентнісного завдання з проектування реляційної схеми бази даних, виконання якого вимагає свідомого застосування строгих математичних методів з даної області знань.Документ Незалежність аксіоматики Армстронга та алгебра функціональних залежностей(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.Документ Теорія нормалізації в реляційних базах даних: сучасний стан(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.Документ Теорія нормалізації в реляційних базах даних (огляд)(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Bui, D. B.; Puzikova, A. V.(uk) У даній роботі здійснена спроба охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Розглядається еволюція класичних нормальних форм (а саме: першої-третьої нормальних форм, нормальної форми Бойса-Кодда, четвертої нормальної форми та проективно-з’єднувальної або п’ятої нормальної форми) та історичні спроби їх покращення. Наводяться різноманітні варіанти некласичних нормальних форм, зокрема, обговорюється концепція доменно-ключової нормальної форми.Документ Деякі некласичні нормальні форми в реляційних базах даних(Київський національний університет імені Тараса Шевченка, 2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Обговорюються означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показана нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Фейгіним. На основі аналізу першоджерел та власних результатів встановлені логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.Документ Повнота аксіоматики Армстронга(Київський національний університет імені Тараса Шевченка, 2011) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною.