Моделирование логических схем посредством теории множеств
Описание способа моделирования логических схем посредством теории множеств, использующий модель двузначной логики. Построение адекватной модельной области для лямбда-исчисления м модель логики высказываний. Доказательство теоремы о непротиворечивости.
| Рубрика | Экономико-математическое моделирование |
| Предмет | Математическое моделирование |
| Вид | статья |
| Язык | русский |
| Прислал(а) | В.Л. Чечулин |
| Дата добавления | 26.04.2019 |
| Размер файла | 29,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
- Нечеткая логика. Моделирование оценки показателей проекта, с использованием теории нечетких множеств
Описание лингвистической переменной. Моделирование оценки показателей проекта. Построение функции принадлежности термов, используемых для лингвистической оценки переменной "рост мужчины". Нечеткое моделирование конкурентоспособности кинотеатров.
контрольная работа [281,6 K], добавлен 09.07.2014 Теоретико-методическое описание моделирования макроэкономических процессов. Модель Харрода-Домара, модель Солоу как примеры модели макроэкономической динамики. Практическое применение моделирования в планировании и управлении производством предприятия.
курсовая работа [950,4 K], добавлен 03.05.2009Составление схем моделирования методом последовательного (непосредственного) интегрирования, методом вспомогательной переменной и методом канонической формы. Модель в пространстве состояний в форме простых сомножителей. Моделирование нелинейных систем.
курсовая работа [1,1 M], добавлен 23.12.2013Анализ традиционных методов оценки экономической эффективности инвестиционных проектов в условиях риска и неопределенности. Применение теории нечетких множеств в оценке экономической эффективности и риска инвестиционных проектов.
реферат [109,0 K], добавлен 21.10.2006Основные понятия теории моделирования экономических систем и процессов. Методы статистического моделирования и прогнозирования. Построение баланса производства и распределение продукции предприятий с помощью балансового метода и модели Леонтьева.
курсовая работа [1,5 M], добавлен 21.04.2013Сущность математического моделирования и формализации. Выявление управляемых и неуправляемых параметров. Математическое описание посредством уравнений, неравенств, функций и иных отношений взаимосвязей между элементами модели (параметрами, переменными).
курсовая работа [116,8 K], добавлен 17.12.2009Разработка теории динамического программирования, сетевого планирования и управления изготовлением продукта. Составляющие части теории игр в задачах моделирования экономических процессов. Элементы практического применения теории массового обслуживания.
практическая работа [102,3 K], добавлен 08.01.2011Понятие и структура интеллектуальной системы. Математическая теория нечетких множеств. Причины распространения системы Fuzzy-управления. Предпосылки для внедрения нечетких систем управления. Принципы построения системы управления на базе нечеткой логики.
реферат [68,3 K], добавлен 31.10.2015Статистическая модель случайного процесса. Численный метод Монте-Карло. Типы имитации, ее достоинства и возможности. Простая имитационная модель системы обработки документов. Использование для моделирования языка Siman. Его основные моделирующие блоки.
презентация [1,6 M], добавлен 22.10.2014Основы финансового анализа рынка ценных бумаг. Основы модели АРТ. Методологические подходы к анализу фондового рынка. Теоретические и практические аспекты АРТ-моделирования: воплощение теоретических посылок в модель. АРТ-моделирование в практика.
курсовая работа [2,9 M], добавлен 27.03.2008История бизнес-моделирования с середины ХХ века до настоящего времени. Определение понятий "бизнес-модель" и "бизнес-моделирование". Характеристика динамики основных положений различных бизнес-моделей по мере изменения состояния конкуренции предприятия.
курсовая работа [2,2 M], добавлен 14.05.2019Основные категории и критерии инструментальных средств, предназначенных для моделирования информационных систем. Проведение анализа предметной области проекта автомастерской массового обслуживания и построение математической модели данной системы.
курсовая работа [1,3 M], добавлен 18.08.2012Сущность экономико-математической модели, ее идентификация и определение достаточной структуры для моделирования. Построение уравнения регрессии. Синтез и построение модели с учетом ее особенностей и математической спецификации. Верификация модели.
контрольная работа [73,9 K], добавлен 23.01.2009Анализ сложных систем. Проведение экономического исследования с применением технологии компьютерного моделирования. Построение блок-схем, маршрутов потоков сообщений. Разработка модели работы автобусного маршрута. Многовариантные расчеты модели.
контрольная работа [53,3 K], добавлен 22.10.2012Нечеткие множества. Основные понятия нечеткой логики, необходимые для моделирования процессов мыслительной деятельности человека. База правил. Формы многоугольных функций принадлежности. Гауссова функция. Системы нечеткого вывода в задачах управления.
реферат [844,8 K], добавлен 16.07.2016Основы теории продукционных систем: основные понятия и модели. Элементы теории живучести предпринимательства. Вариационные модели продукционных систем. Расчетная часть: компонентная модель продукционной системы и технологическая расчетная таблица.
методичка [100,4 K], добавлен 08.11.2008Задачи, функции и этапы построения экономико-математических моделей. Аналитические, анионные, численные и алгоритмические модели. Экономическая модель спортивных сооружений. Модели временных рядов: тенденции и сезонности. Теории массового обслуживания.
реферат [167,6 K], добавлен 22.07.2009Гносеологическая роль теории моделирования и сущность перехода от натурального объекта к модели. Переменные, параметры, связи (математические) и информация - элементы модели. Обобщенное представление вычислительного эксперимента и признаки морфологии.
реферат [31,0 K], добавлен 11.03.2009Постановка цели моделирования. Идентификация реальных объектов. Выбор вида моделей, математической схемы. Построение непрерывно-стахостической модели. Основные понятия теории массового обслуживания. Определение потока событий. Постановка алгоритмов.
курсовая работа [50,0 K], добавлен 20.11.2008Гомоморфизм - методологическая основа моделирования. Формы представления систем. Последовательность разработки математической модели. Модель как средство экономического анализа. Моделирование информационных систем. Понятие об имитационном моделировании.
презентация [1,7 M], добавлен 19.12.2013
