Неперервність функції в інтенсіональних моделях лямбда-подібних числень
Аналіз еволюції підходів до побудови теоретико-множинних моделей лямбда-числення. Вивчення оригінальних теоретико-порядкових характеризацій відповідних класів неперервних функцій, порівняльний аналіз цих понять неперервності функції з їх аналогами.
| Рубрика | Программирование, компьютеры и кибернетика |
| Предмет | Теоретичні основи інформатики та кібернетики |
| Вид | автореферат |
| Язык | украинский |
| Прислал(а) | Лялецький Олександр Олександрович |
| Дата добавления | 26.08.2015 |
| Размер файла | 61,6 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Ознакомление с лямбда-выражениями и функциями языка Lisp. Этапы разработки алгоритма функции, производящей удаление из исходного списка всех элементов с четными номерами. Код программы, адаптированной для использования в базах данных больниц и ВУЗов.
лабораторная работа [65,5 K], добавлен 21.05.2014Аналіз математичного підґрунтя двійкової та двійкової позиційної систем числення. Переведення числа з двійкової системи числення в десяткову та навпаки. Арифметичні дії в двійковій системі. Системи числення з довільною основою. Мішані системи числення.
курсовая работа [149,5 K], добавлен 20.06.2010Поняття метричного простору. Збіжність в метричних просторах. Збереження зв’язності при неперервних відображеннях. Приклади повних метричних просторів. Поняття диференційовної функції. Необхідні умови диференційовності. Частинні похідні вищих порядків.
дипломная работа [1,2 M], добавлен 23.08.2012Аналіз сучасного стану технологій програмування. Засоби реалізації об'єктів в мові C++, структура даних і функцій. Розробка програмного продукту - гри "трикутники", з використовуванням моделей, класів і функцій об’єктно-орієнтованого програмування.
курсовая работа [117,8 K], добавлен 14.03.2013Визначення поняття автоматизації та інформаційної технології. Вибір мови програмування, аналіз бібліотеки класів та системи масового обслуговування. Реалізація інтерфейсу програми Visual C# 2010 Express. Діаграма класів до основних функцій программи.
курсовая работа [1,5 M], добавлен 28.04.2012Аналіз теоретичної бази методів інтерполювання функцій. Розробка алгоритмів та вибір оптимального. Приклад програми інтерполювання функції за допомогою інтерполяційного многочлена Лагранжа: інструкція користувача, опис, тестування та лістинг програми.
курсовая работа [1,0 M], добавлен 19.09.2013Принципи побудови систем числення, основні поняття. Системи числення, вид та тип числа, форма представлення, розрядна сітка та формат, діапазон і точність подання, спосіб кодування від’ємних чисел. Визначення та призначення тригерів, їх класифікація.
контрольная работа [150,9 K], добавлен 07.10.2009Знаходження площі фігури методом трапеції. Обчислення площ криволінійних трапецій. Геометричний сенс чисельника. Розробка програми для демонстрації нижчезазначеної математичної функції. Використання базових бібліотек класів, написаних на мові С++.
курсовая работа [1,0 M], добавлен 24.12.2013Розрахування і виведення на екран значення функції f(x) при заданих значеннях параметрів a, b. Графік функції на заданому діапазоні. Визначення числових значень кроку. Створення масиву даних згідно з даними, побудування графіку функції для заданих точок.
лабораторная работа [281,7 K], добавлен 04.09.2014Поняття електронного підручника, його розробка, основні переваги та недоліки. Вивчення теоретичного курсу з теорії границь, диференціального та інтегрального числення функції однієї змінної. Застосування інтеграла Рімана, його означення та властивості.
дипломная работа [2,6 M], добавлен 12.02.2013Демонстрація базової функції та функції в загальному вигляді з можливістю зміни параметрів A, B, C, D. Збереження поточних параметрів у файлі з наступним завантаженням. Підписи шкали осей координат і точки центру осей координат; друк отриманого графіка.
курсовая работа [549,8 K], добавлен 18.12.2013Функції інформаційної системи. Аналіз функцій системи управління базами даних: управління транзакціями і паралельним доступом, підтримка цілісності даних. Аналіз системи MySQL. Елементи персонального комп’ютера: монітор, клавіатура, материнська плата.
дипломная работа [1,2 M], добавлен 15.05.2012Системний аналіз. Розширена вхідна і вихідна функції мережі Петрі. Зображення граф мережі Петрі, дерева досяжності глибини 3. Написання програми, яка повинна шукати розширену вхідну і вихідну функції за вхідними даними і будувати дерево досяжності.
контрольная работа [233,3 K], добавлен 14.03.2010Можливості програмування за допомогою Delphi. Розробка програми "Кадровий облік", її функції. Алгоритм задачі: логіка програми, визначення структури даних та інтерфейсу. Аналіз програми та її тестування: переваги та недоліки у порівнянні з аналогами.
курсовая работа [1,6 M], добавлен 07.05.2009Постановка задачі інтерполяції. Аналітичне визначення коефіцієнтів інтерполяційного многочлена. Метод Лагранжа, задача зворотної інтерполяції. Інтерполяційна формула Бесселя. Вибір оптимального алгоритму. Приклад програми обчислення значення функції.
курсовая работа [502,8 K], добавлен 16.03.2011Функції арифметико-логічного пристрою - виконання операцій над числами, що надходять до нього, за сигналами з пристрою керування. Правила переводу чисел з однієї системи числення в іншу. Розроблення алгоритму; функціональна і принципова електричні схеми.
курсовая работа [1,0 M], добавлен 27.04.2014Загальні відомості по графічним графікам та функціям. Аналіз функцій графічної підсистеми, яка входить до складу системи MATLAB та підтримує як засоби візуалізації двовимірної і тривимірної графіки на екран терміналу, так і засоби презентаційної графіки.
реферат [255,2 K], добавлен 30.04.2013Аналітичне зображення логічних функцій із даної таблиці істинності у вигляді досконалої диз’юнктивної нормальної функції і кон’юнктивної нормальної функції шляхом мінімізації з використанням законів алгебри логіки для спрощення логічної формули.
курсовая работа [366,0 K], добавлен 14.12.2010Топологічний аналіз початкового графу. Розробка підходів до розпаралелювання і послідовного рішення задачі – розрахунку потоків повітря у кожній гілці мережевого динамічного об’єкту – вентиляційної мережі. Аналіз ефективності паралельних рішень.
курсовая работа [743,4 K], добавлен 27.08.2012Розроблення графічних схем класів та алгоритмів. Контрольний приклад та аналіз результатів комп’ютерної реалізації програми, її лістінг. Проектування інтерфейсу користувача. Послідовність побудування класів "Особа", "Службовець" й "Організація".
курсовая работа [839,0 K], добавлен 16.06.2014
