Кафедра інформатики та інформаційних технологій
Постійне посилання на фондhttps://dspace.cusu.edu.ua/handle/123456789/63
Переглянути
44 результатів
Фільтри
Налаштування
Результати пошуку
Документ Особливості вивчення типів даних при підготовці фахівців з інформатики(РВВ КДПУ ім. В. Винниченка, 2009) Баранюк, Олександр Филимонович(uk) У статті аналізуються традиційні підходи до вивчення типів даних у різних мовах програмування та запропоновано розглядати питання вибору типів даних для побудови інформаційних систем з точки зору ефективності обробки різних типів даних процесором.Документ Комп’ютерні статистичні пакети(КОД, 2015) Лупан, Ірина Володимирівна; Авраменко, Ольга Валентинівна; Акбаш, Катерина СергіївнаУ посібнику показано у порівнянні інструментарій пакетів MS Excel, SPSS та Statistica для обчислення параметрів розподілів випадкової величини, виконання параметричного та непараметричного порівняння двох та більше зв’язаних вибірок, у тому числі одно- та двох факторного дисперсійного аналізу, процедури обчислення коефіцієнтів кореляції та регресії, критерії порівняння емпіричних розподілів та перевірки нормальності емпіричних розподілів випадкової величини, виконання дискримінантного, кластерного та факторного аналізу; для графічного подання результатів та формування звітів.Документ APPLYING COMPUTER MATHEMATICS AS THE BASIS FOR THE DEVELOPMENT OF PROFESSIONAL COMPETENCE OF SPECIALISTS IN THE AREA “SYSTEM SCIENCES AND CYBERNETICS”(Publishing Kupriyenko SV, 2013) Shlianchak, S. A.; Шлянчак, Світлана Олександрівна(en) The author of the article gives the overview of approaches to the selection of means for forming professional competence of a specialist. The process of implementing the systems of computer mathematics in project activity of future specialists in the area “System Sciences and Cybernetics” is revised. Attention is paid to the technology of completing studying-professional projects by the future specialists, which influences the formation of personal-professional qualities of the specialist, which are the indivisible element in the formation of professional competence.Документ Незалежність аксіоматики Армстронга та алгебра функціональних залежностей(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, Dmitriy; Puzikova, A. V.(uk) У даній роботі здійснена спроба охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Розглядається еволюція класичних нормальних форм (а саме: першої-третьої нормальних форм, нормальної форми Бойса-Кодда, четвертої нормальної форми та проективно-з’єднувальної або п’ятої нормальної форми) та історичні спроби їх покращення. Наводяться різноманітні варіанти некласичних нормальних форм, зокрема, обговорюється концепція доменно-ключової нормальної форми.