Наукові видання каф-ри інформатики та інформаційних технологій
Постійне посилання зібранняhttps://dspace.cusu.edu.ua/handle/123456789/140
Переглянути
17 результатів
collection.search.results.head
Документ Формування аналітичної компетентності майбутнього вчителя інформатики при розв’язуванні завдань на проектування баз даних(РВВ ЦДПУ ім. В. Винниченка, 2018) Копотій, Вікторія Володимирівна; Копотий, Виктория Владимировна; Kopotiy, Viktoriia Volodymyrivna; Пузікова, Анна Валентинівна; Пузикова, Анна Валентиновна; Puzikova, Anna Valentynivna(ua) Стаття присвячена проблемам формування професійної компетентності вчителя інформатики у рамках компетентнісного підходу до навчання студентів. Зокрема, розглядається одна із складових професійної компетентності - аналітична компетентність. Її формування здійснюється через добір компетентнісних завдань, особливістю яких є практична спрямованість, зв’язок із реальними життєвими ситуаціями і міжпредметний характер. Компетентнісними завданнями з комп’ютерних дисциплін можуть виступати комплексні задачі прикладного характеру, для яких обов’язковим є застосування сучасних інформаційно-комунікаційних технологій. У даній роботі описано досвід формування аналітичної компетентності майбутнього вчителя інформатики при вивченні дисципліни «Бази даних», а також запропоновано приклад компетентнісного завдання з проектування реляційної схеми бази даних, виконання якого вимагає свідомого застосування строгих математичних методів з даної області знань.Документ Формування змісту курсу «Бази даних та інформаційні системи» для майбутніх учителів інформатики(РВВ ЦДПУ ім. В. Винниченка, 2020) Пузікова, Анна Валентинівна; Матяш, Вікторія Володимирівна; Пузикова, Анна Валентиновна; Матяш, Виктория Владимировна; Puzikova, Anna Valentinivna; Matiash, Viktoriia Volodymyrivna(ua) Стаття присвячена проблемам формування змісту та вибору програмних засобів для реалізації курсу «Бази даних та інформаційні системи», як необхідної складової професійної підготовки бакалаврів за спеціальністю 014 Середня освіта (Інформатика). Теоретичні та практичні положення курсу, пов’язані з питаннями архітектури, проектування та створення баз даних, пропонується розглядати на прикладі СУБД Microsoft Office Access, а вивчення системних аспектів SQL, безпеки і авторизації користувачів, механізмів захисту даних, резервування і відновлення даних, а також адміністрування баз даних, – з використанням CASE-засобу MySQL Workbench і клієнтського терміналу сервера MySQL. Представлена програма курсу «Бази даних та інформаційні системи», орієнтована на вчителів інформатики, була успішно апробована у 2019-2020 н.р.Документ Незалежність аксіоматики Армстронга та алгебра функціональних залежностей(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.Документ Completeness of armstrong's axiomatic(2011) Buy, Dmitriy; Puzikova, Anna; Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(en) This paper presents a rigorous and convincing proof that Armstrong’s axiomatic system (as the foundation of relational database normalization theory) is complete and sound within the paradigm of mathematical logic: the relations of syntactic and semantic entailment are introduced and it is shown that they coincide. The properties of set-theoretic data structure functional constraints have been used as mathematical framework.Документ Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного слідувань; наво-дяться критерії повноти вказаних аксіоматик в термінах потужностей (1) універсального домену D, який розглядається при інтерпретаціях, та (2) схеми R, яка є параметром всіх побудов, бо розгляда-ються тільки таблиці, схеми яких є підсхемами вказаної схеми R.Документ Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерій(2014) Буй, Дмитро Борисович; Пузікова, Анна ВалентинівнаДокумент Теорія нормалізації в реляційних базах даних: сучасний стан(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.Документ Огляд теорії нормалізації в реляційних базах даних(2014) Буй, Дмитро Борисович; Пузікова, Анна ВалентинівнаДокумент Теорія нормалізації в реляційних базах даних (огляд)(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Bui, D. B.; Puzikova, A. V.(uk) У даній роботі здійснена спроба охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Розглядається еволюція класичних нормальних форм (а саме: першої-третьої нормальних форм, нормальної форми Бойса-Кодда, четвертої нормальної форми та проективно-з’єднувальної або п’ятої нормальної форми) та історичні спроби їх покращення. Наводяться різноманітні варіанти некласичних нормальних форм, зокрема, обговорюється концепція доменно-ключової нормальної форми.Документ Аксiоматика багатозначних залежностей табличних баз даних(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Редько, В. Н.(uk) Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв.