Теорія інтегрованих композиційно-номінативних моделей програм
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
Подобные документы
Досліджено часові затрати під час програмної реалізації операції множення у трьохмодульній системі класів та її модифікованій досконалій формі. Показано, що використання модифікованої форми дає можливість зменшити час обчислення арифметичних операцій.
статья, добавлен 27.07.2021Аналіз еволюції підходів до побудови теоретико-множинних моделей лямбда-числення. Вивчення оригінальних теоретико-порядкових характеризацій відповідних класів неперервних функцій, порівняльний аналіз цих понять неперервності функції з їх аналогами.
автореферат, добавлен 26.08.2015Операційна система як середовище для "співіснування" багатьох програм, які взаємодіють між собою та використовують спільні ресурси. Загальна характеристика операційної системи Windows, розгляд головних службових програм. Аналіз способів перевірки диску.
лабораторная работа, добавлен 21.07.2017Аналіз питання структуризації програм інформатизації вищих навчальних закладів. Дослідження проектів інформатизації вищих навчальних закладів, виявлення їх особливостей. Напрямки побудови систем управління програмами інформатизації ВНЗ України.
статья, добавлен 21.06.2016Поняття інформації, її носії та методи нанесення. Призначення та принципи дії маніпулятора "миша". Кодування та зберігання даних, використання програм для архівування, їх види та режими роботи. Розрахунки у середовищі електронної таблиці Microsoft Excel.
контрольная работа, добавлен 14.11.2010Впровадження в освіту інформаційних та комунікаційних технологій, розробка програм для автоматизації робочого процесу навчальних закладів. Реалізація програм для роботи з документацією, розписом занять та ведення обліку при дистанційному навчанні.
статья, добавлен 14.01.2017Дослідження важливих класів задач теорії конфліктно-керованих процесів. Аналіз методу пропорційної навігації для задачі зближення за участю двох гравців. Вивчення його зв’язку з методом розв’язуючих функцій і правилом екстремального прицілювання.
автореферат, добавлен 26.08.2014Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Типи шкідливого програмного забезпечення: троянські коні, віруси, черв'яки. Механізм дії антивірусів: детекторів, полифагів, ревізорів, вакцин. Традиційні методи "вилову" файлових вірусів. Огляд антивірусних програм. Правила "виживання" для користувача.
реферат, добавлен 21.02.2011Аналіз нормативно-методичних основ класифікації загроз інформаційної безпеки, пов’язаних із застосуванням шкідливих програм щодо інформаційних систем. Характеристика основних загрози впливу на інформаційні системи окремих типів шкідливих програм.
статья, добавлен 06.11.2020Розробка загальної методології вирішення проблем комп'ютерної переробки інформації на основі теоретико-категорних представлень, алгебраїчних теорій. Розв'язання проблем, що виникають при перетворенні інформації, представленої за допомогою формальних мов.
автореферат, добавлен 29.08.2015Розгляд процесу програмування засобів комп'ютерного програмного забезпечення, призначеного за для використання інформації з баз даних і програм для роботи з мережевими протоколами через Інтернет. Огляд програм для електронної пошти і обміну файлами.
дипломная работа, добавлен 30.09.2013В якій саме формі треба охороняти алгоритм та програму для електронної обчислювальної машини. Правова охорона інтелектуальної власності. Зміст авторського права. Незаконне відтворення, розповсюдження виконань, фонограм, відеограм і програм мовлення.
реферат, добавлен 26.08.2013Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Розвинені можливості Microsoft Excel для роботи з табличною інформацією. Введення даних, роздрукування робочих листів. Розширення можливостей спеціалізованих систем:програми-бухгалтерії, прикладних програм які працюють з базами даних, текстові редактори.
курсовая работа, добавлен 27.12.2010Аналіз особливостей UML. Вивчення середи IBM Rational Rose. Розробка UML діаграм. Створення діаграми прецедентів кооперації послідовності логічної діаграми класів. Розробка моделі даних та генерація SQL-коду. Характеристика фізичної діаграми класів.
курсовая работа, добавлен 14.07.2015Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Дослідження інформаційних технологій, призначених для керування залізничною автоматизацією. Оцінка недоліків при реалізації логічних функцій. Рекомендації, щодо концепції вдосконаленої мови програмування керування та трансляції програм контролера.
автореферат, добавлен 29.10.2013Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012Розробка структури та моделі підсистеми, а також аналіз засобів контролю знань комп'ютеризованої системи навчання. Характеристика основних методів практичної реалізації розроблених моделей, алгоритмів і програм у комп'ютеризованих системах навчання.
автореферат, добавлен 27.07.2014Дослідження основних варіантів порівняння запитів в процесі аналізу і експлуатації автоматизованих комп'ютерних систем. Розробка моделі інкрементального оновлення матеріалізованих представлень, заснованої на лічильнику дублікатів записів типу SPJ.
автореферат, добавлен 02.08.2014Особливості розробки програм в середовищі Delphi 7 на мові Object Pascal. Розробка програми для вводу, зберігання, опрацювання інформації. Стадії, етапи розробки програмного продукту, вимоги до нього. Розробка інструкції для оператора та програміста.
отчет по практике, добавлен 11.04.2018Характеристика існуючих когнітивних моделей сприйняття і уваги, які беруть участь в діалоговому процесі. Розробка інтегрованих об’єктно-орієнтованих моделей типу сприйняття-увага. Дослідження програмового прототипу когнітивної моделі діалогового агента.
автореферат, добавлен 07.08.2014Роль професійних інтернет-сайтів, професійних співтовариств, соціальних мережевих сервісів, вебінарів, програм для миттєвого обміну повідомленнями, ігрових програм-симуляторів, курсів у формуванні умінь самоосвітньої діяльності майбутніх фахівців.
статья, добавлен 29.10.2020Розгляд особливостей впровадження програмних продуктів Autodesk у процес підготовки інженерів-механіків на кафедрі електронного машинобудування. Описання процедури налаштування мережевої версії для комп’ютерних класів та домашнього комп’ютера студента.
статья, добавлен 26.01.2017