Неперервність функції в інтенсіональних моделях лямбда-подібних числень
Аналіз еволюції підходів до побудови теоретико-множинних моделей лямбда-числення. Вивчення оригінальних теоретико-порядкових характеризацій відповідних класів неперервних функцій, порівняльний аналіз цих понять неперервності функції з їх аналогами.
Подобные документы
- 51. Подання реляційних операцій засобами реляційного числення доменів для ненормалізованих відношень
Ознайомлення з прикладами застосування виразів реляційного числення доменів для ненормалізованих відношень. Характеристика виразів реляційного числення доменів для ненормалізованих відношень, еквівалентних операціям розширеної реляційної алгебри.
статья, добавлен 29.08.2016 Рассмотрение теоретико-типового понятия доказательства корректности компьютерных программ. Исследование особенностей этого понятия, а также ряда связанных с ним теоретико-познавательных проблем. Проблема обозримости и связи априорного и апостериорного.
статья, добавлен 29.10.2020Створення програми для переведення чисел з довільної системи числення в довільну позиційну. Проектування рядку внесення початкових даних і кінцевого обрахунку для виконання необхідного завдання. Лістинг програми на мові програмування Object Pascal.
лабораторная работа, добавлен 12.10.2014Існуючі методи алгоритмів модулярної редукції надвеликих чисел, їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Новий паралельний алгоритм модулярного експоненціювання надвеликих чисел. Порівняльний аналіз методів модулярної редукції.
автореферат, добавлен 11.11.2013Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Уточнення сутності та структури інформаційних технологій через аналіз науково-методичної літератури. Проведення узагальнення класифікації інформаційних технологій на основі праць науковців світу та України. Аналіз поняття "інформаційна технологія".
статья, добавлен 23.03.2023Разработка нового, теоретико-информационного критерия оптимальности решения задачи автоматического распознавания изображений на основе теоретико-вероятностной модели изображений. Реализация критерия в виде комплекса программ для проведения исследований.
автореферат, добавлен 01.05.2018Систематичний дескриптивний, алгоритмічний та метричний аналіз комбинаторно-алгебраїчних моделей автоматного типу деяких класів ін’єктивних дискретних перетворювачів інформації. Дослідження класу лінійних автоматів з позиції модельних задач криптографії.
автореферат, добавлен 14.08.2015- 59. Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення
Визначення та характеристика нового методу завадостійкого кодування, що поєднує кілька підходів до побудови завадостійких кодів. Дослідження особливостей викоритсання арифметичних властивостей чисел, що подаються вхідними бітовими послідовностями.
статья, добавлен 28.02.2016 Дослідження важливих класів задач теорії конфліктно-керованих процесів. Аналіз методу пропорційної навігації для задачі зближення за участю двох гравців. Вивчення його зв’язку з методом розв’язуючих функцій і правилом екстремального прицілювання.
автореферат, добавлен 26.08.2014Аналіз стану сучасних технологічних рішень щодо створення єдиного сховища даних. Характеристика варіантів та можливостей побудови інформаційної інфраструктури на основі центру обробки даних. Особливості процесу побудови власного центру обробки даних.
статья, добавлен 23.09.2020Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Парна лінійна регресія. Лінійна кореляційна модель. Функції Excel для обробки даних. Множинні регресійні моделі. Проведення розрахунку параметрів лінійної чотирифакторної регресії. Виробничі функції Коба-Дугласа. Довірчі границі в загальному випадку.
курсовая работа, добавлен 18.12.2017Вивчення структури задачі мережевої взаємодії, структури еталонної моделі мережевої взаємодії та функції окремих рівнів. Запуск демонстраційної програми Demo07.exe та застосування еталонної моделі OSI для опису взаємодії комп’ютерів у великій сіті.
лабораторная работа, добавлен 10.06.2020Інтелектуальний аналіз даних - процес автоматичного пошуку прихованих закономірностей або взаємозв'язків між змінними у великих масивах необробленої інформації. Мережа радіально базисних функцій у математичному моделюванні — штучна нейронна мережа.
курсовая работа, добавлен 09.11.2019Функції і параметри процесорів растрових перетворень – пристрою для перетворення зображень в придатний для друкування формат. Схема процесу растрування файлу. Етапи опрацювання інформації растровим процесором. Особливості ПРП для керування принтерами.
статья, добавлен 29.08.2016Системи числення як сукупність прийомів та правил запису чисел за допомогою цифр чи інших символів, критерії їх поділу. Запуск та завершення роботи з операційною системою. Методи та принципи захисту від комп`ютерних вірусів. Основні види internet-послуг.
контрольная работа, добавлен 18.01.2011Принципи побудови електронних засобів навчання. Функції гіпермедійної навчальної системи. Застосування технології Adobe Flash при розробці електронних засобів навчання. Аналіз існуючих інтерактивних тренажерів систем попередження зіткнень літаків.
научная работа, добавлен 06.04.2018Історія виникнення й розвитку Машини Тюрінга, принципи її використання, можливості конструкції. Створення МТ для опису алгоритмів арифметичних дій (віднімання) в шістнадцятковій системі числення. Правила переведення чисел з однієї системи числення в іншу.
курсовая работа, добавлен 23.12.2021Поняття та структура мережевої операційної системи, принципи її роботи та функції. Загальний доступ до підключення до Інтернету, принципи налаштування клієнта, аналіз системи безпеки. Головні мережеві засоби Windows, оцінка їх переваг і недоліків.
курсовая работа, добавлен 01.06.2015Аналіз підходу до вирішення проблеми міжз'єднань шляхом використання побітової потокової обробки у системі числення золотої 1-пропорції. Алгоритмічна і структурна організація побітового додавання як основна арифметична операція у цій системі числення.
статья, добавлен 19.02.2016- 72. Метод імітації нерівностей на основі збурення дистрибутивної функції відбивної здатності поверхні
Відсутність операцій збурення векторів нормалей та подальша їх нормалізація, спрощення процесу формування зображень рельєфних поверхонь. Апроксимація функції синуса через косинус. Похибка апроксимації функції синуса при виконанні ітерацій формули Герона.
статья, добавлен 24.06.2016 Описання архітектури практичної реалізації обчислювальних схем функцій ризику розладнання на основі запропонованої моделі у програмному пакеті. Дослідження програмного пакету, який працює по принципу клієнт-сервер. Аналіз класів модуля управління даними.
статья, добавлен 28.01.2017Аналіз зовнішньої форми, конструктивно-композиційної побудови модного одягу. Вид одягу сарафан жіночій. Характеристика вимог до моделей системи. Формування промислової системи моделей. Опис зовнішнього вигляду. Специфікація деталей крою. Вибір матеріалів.
дипломная работа, добавлен 24.11.2016Визначення для композицій фільтрації, взяття повного образу, функції групування, операцій внутрішнього та зовнішнього з’єднання для нової семантики таблиць. Розробка операційної, денотаційної семантики рекурсивних запитів в Structured Query Language.
автореферат, добавлен 11.08.2015