Технология логического моделирования и анализа сложных систем
Изучение языковых, инструментальных средств, методологии логического моделирования, поддерживающих решение широкого класса задач. Язык логического моделирования. Концепция и средства модульной логической спецификации. Представление динамических свойств.
| Рубрика | Философия |
| Вид | статья |
| Язык | русский |
| Дата добавления | 30.05.2017 |
| Размер файла | 33,5 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Сущность метода моделирования, классификация. Основные теоретические аспекты моделей и моделирования, а также рассмотрение конкретных примеров широкого применения моделирования, как средства познания в различных областях человеческой деятельности.
реферат [33,9 K], добавлен 21.05.2012Логический квадрат как иллюстрация онтологии и логики Аристотеля. Фундаментальные логические и онтологические принципы изображения логического квадрата. Отношения логического следования. Деление простых высказываний на общие, неопределенные и единичные.
статья [1023,8 K], добавлен 23.07.2013Представление об особенностях логического и психологического подходов к моделированию мышления. Возникновение и развитие антитезы психологизм-антипсихологизм. Теория познания И. Канта как источник спора между психологистами и антипсихологистами.
презентация [88,6 K], добавлен 21.11.2011Логика как "сознание духа в своей чистой сущности". Мышление, диалектика логики. "Стороны" диалектической логики. Аспекты сферы "логического". Три "момента" логического мышления по Гегелю. Гегелевская концепция мышления, критика диалектической логики.
контрольная работа [21,8 K], добавлен 18.10.2011Логическое осмысление континуума. Расширение классической логики как следствие ее ограничения (переводы и погружения). Сущность и возникновение алгебры логики. Поиск логической системы. Пример логического анализа высказываний и построения их формул.
контрольная работа [28,2 K], добавлен 05.07.2010Основные цели науки как технологии научного творчества. Средства логического анализа систем научного знания. Изучение логических структур научных теорий, дедуктивных и индуктивных выводов, применяемых в естественных, социальных и технических науках.
реферат [56,6 K], добавлен 29.01.2011Роль моделирования в становлении науки и техники с исторической точки зрения, его философская основа. Классификационные признаки, по которым выделены различные типы моделей. Виды, цели и основные функции моделирования. Сущность модельного эксперимента.
курсовая работа [38,6 K], добавлен 14.12.2011Поиск кругов Эйлера, соответствующих перечню понятий. Отношения между понятиями по объему при помощи кругов Эйлера. Понятие логического суждения, правила логического квадрата. Противоречия между суждениями. Средний и большой термин в силлогизме.
контрольная работа [40,9 K], добавлен 11.08.2009Дискуссия о дисциплинарных границах логики в немецкой философии начала XIX в., конкурирующие проекты понимания логического знания. Место теории Гегеля о "науке логики", исторические контексты становления формальной логики в качестве отдельной дисциплины.
статья [31,9 K], добавлен 30.07.2013Культура мышления как определенный уровень развития мыслительных способностей человека. Анализ понятия логической культуры мышления и ее основных закономерностей. Способы логического рассуждения. Влияние логической формы на содержание правового мышления.
реферат [57,9 K], добавлен 12.01.2013Характеристика логического определения суждений. Изучение логических связей между суждениями. Истинностное значение сложных суждений. Особенности логических связок, которыми связываются отдельные суждения. Условный (гипотетический) силлогизм и дилеммы.
реферат [30,7 K], добавлен 13.08.2010Разновидности неопозитивизма: философия логического анализа, логический позитивизм (логический эмпиризм), логическая семантика, философия лингвистического анализа и постпозитивизм. Идеальный язык, построение формализованных языков, принцип верификации.
реферат [18,1 K], добавлен 25.01.2010История моделирования как метода познания. Гносеологическая специфика модели и ее определение. Классификация моделей и видов моделирования. Моделирование как средство экспериментального исследования. Моделирование и проблема истины.
реферат [24,6 K], добавлен 25.05.2004Характеристика обращения суждений. Способ получить непосредственное умозаключение в результате логического преобразования. Существование абсурда, логической бессмыслицы. Сущность категорического силлогизма, прогрессивного и регрессивного полисиллогизма.
контрольная работа [38,1 K], добавлен 17.03.2009Сущность и значение суждения, его отличительные признаки и структура. Связь между предложениями и суждениями. Значение логического смысла предложений и языковые формы одного суждения. Классификация простых и сложных суждений по характеру предиката.
презентация [344,1 K], добавлен 14.10.2013Гносеологическая специфика модели и ее определение. История развития физической мезомеханики. Классификация моделей и видов моделирования. Моделирование как основное средство экспериментального исследования. История моделирования как метода познания.
реферат [49,5 K], добавлен 11.06.2010Изучение необходимости использования графов и множеств при логическом выводе в E-структурах, которое позволяет не только упростить процесс получения следствий, но и выполнить другие методы логического анализа рассуждений. Основные понятия E структур.
контрольная работа [207,3 K], добавлен 21.09.2010Основные формы логической организации мышления. Монолог: сущность, структура, виды. Единство монолога и диалога. Мышление как процесс решения проблем. Логика вопросов и ответов. Логика развития мышления. Стадии генетической эпистемологии Ж. Пиаже.
курсовая работа [26,2 K], добавлен 24.01.2012Возникновение схоластики из опыта логического осмысления религиозных догматов. Самодостаточность теологии Фомы Аквинского, его доказательства Бога. Принцип теоцентризма Аврелия Августина. Концепция истории человечества. Становление рациональной философии.
реферат [22,0 K], добавлен 02.11.2009Актуальные основания моделирования будущего. Иерархия процесса моделирования будущего: моделирование, стратегическое планирование, прогнозирование, форсайт и футурология. Специфика ииссиидиологического подхода к формированию будущего: признаки и критерии.
реферат [940,2 K], добавлен 12.01.2015
