комп. моделирование   ТПОИ   3GL   4GL   5GL   ТП

Дискретная математика

(преподаватель: к.т.н. К.А. Хайдаров)

Разделы дискретной математики

  1. Формальная логика
  2. Математическая логика
  3. Математическая теория информации
  4. Прикладная теория информации
  5. Матрицы и векторы
  6. Теория сигналов
  7. Введение в теорию измерений
  8. Основы теории иерархий
  9. Теория принятия решений
  10. Математическая статистика
  11. Теория функций комплексного переменного
  12. Математические основы нечеткой логики
  13. Общая теория систем
  14. Теория функциональных систем
  15. Теория игр
  16. Введение в теорию трансляторов
  17. Теория формальных грамматик
  18. Базовые понятия теории графов
  19. Логическое программирование на языке Prolog
  20. Функциональное программирование
  21. Теория искусственного интеллекта

Технологии дискретной математики

  1. Инструментальные средства электронных таблиц Excel
  2. Cистема компьютерной алгебры Maple
  3. Cистема численно-математического моделирования MathCAD
  4. Cистема численно-математического моделирования MatLab
  5. Система моделирования динамических систем Simulink MatLab
  6. Интеракривный пакет гибридного событийного моделирования Stateflow
  7. SciLab, бесплатный аналог MatLab и MAthCAD

Глоссарий по дискретной математике

Контрольные вопросы

Abu Abdullah Muhammad bin Musa al-Khwarizmi

Дискретная математика - область математики, занимающаяся изучением дискретных структур, которые возникают как в пределах самой математики, так и в её приложениях. Дискретная математика на самом деле есть собрание всевозможных цифровых информационных технологий, оперирующих цифровыми данными с помощью вычислительных машин.

К числу таких структур могут быть отнесены конечные группы, конечные графы, а также некоторые математические модели преобразователей информации, конечные автоматы, машины Тьюринга и так далее. Это примеры структур конечного (финитного) характера. Раздел дискретной математики, изучающий их, называется конечной математикой. Иногда само это понятие расширяют до дискретной математики. Помимо указанных конечных структур, дискретная математика изучает некоторые алгебраические системы, бесконечные графы, вычислительные схемы определённого вида, клеточные автоматы и т. д. В качестве синонима иногда употребляется термин "дискретный анализ".

Литература

  1. Андерсон Джеймс. Дискретная математика и комбинаторика = Discrete Mathematics with Combinatorics. — М.: ▸Вильямс”, 2006. — С. 960. — ISBN 0-13-086998-8
  2. Белоусов А. И., Ткачев С. Б. Дискретная математика. Серия: Математика в техническом университете. Изд-во: МГТУ им. Н. Э. Баумана, 2001.- 744 с. ISBN 5-7038-1769-2, 5-7038-1270-4
  3. Вентцель Е. С. Введение в исследование операций - М., СовРадио, 1964.
  4. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. - М.: МЦНМО, 2000. - 288 с. ftp://ftp.mccme.ru/users/shen/logic/firstord/
  5. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. - М.: МЦНМО, 1999. - 176 с. ftp://ftp.mccme.ru/users/shen/logic/comput/
  6. Виленкин Н. Я. Комбинаторика. — М., 1969.
  7. Галушкина Ю. И., А.Н. Марьянов Лекции по дискретной математике - М., 2007
  8. Ерусалимский Я. М. Дискретная математика. — М., 2000.
  9. Иванов Б. Н. Дискретная математика. Алгоритмы и программы. Издательство: Физматлит, 2007. — 408 с. ISBN 978-5-9221-0787-7
  10. Капитонова Ю. В., Кривой С. Л., Летичевский А. А., Луцкий Г. М. Лекции по дискретной математике. — СПб.: БХВ-Петербург, 2004. — С. 624. — ISBN 5-94157-546-7
  11. Кемени Дж., Снелл Дж., Томпсон Дж. Введение в конечную математику. — М., 1963. — С. 486.
  12. Клини С. К. Математическая логика. - М.: Мир, 1973. - 480 с.
  13. Колмогоров А. Н., Драгалин А. Г. Математическая логика. - М.: УРСС, 2004. - 240 с.
  14. Крупский В. Н., Плиско В. Е. Теория алгоритмов. - М.: Академия, 2009. - 208 с.
  15. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. - 3-е изд. - М.: Физматлит, 1995. - 256 с.
  16. Лавров И. А. Математическая логика. - М.: Академия, 2006. - 240 с.
  17. Мендельсон Э. Введение в математическую логику. - М.: Наука, 1971. - 320 с.
  18. Новиков Ф.А. Дискретная математика для программистов. — 2-е изд. — СПб.: Питер», 2005. — С. 364. — ISBN 5-94723-741-5
  19. Редькин Н. П. Дискретная математика. Издательство: Лань, 2006. — 96 с. ISBN 5-8114-0522-7
  20. Романовский И. В. Дискретный анализ. — 4-е изд. — СПб.: Невский Диалект; БХВ-Петербург, 2008. — С. 336.
  21. Соловьев А. ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ
  22. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. - М.: Физматлит, 2002. - 128 с.
  23. Яблонский С. В. Введение в дискретную математику. — М.: Наука, 1979. — С. 272.
комп. моделирование   ТПОИ   3GL   4GL   5GL   ТП
Знаете ли Вы, что такое мысленный эксперимент, gedanken experiment?
Это несуществующая практика, потусторонний опыт, воображение того, чего нет на самом деле. Мысленные эксперименты подобны снам наяву. Они рождают чудовищ. В отличие от физического эксперимента, который является опытной проверкой гипотез, "мысленный эксперимент" фокуснически подменяет экспериментальную проверку желаемыми, не проверенными на практике выводами, манипулируя логикообразными построениями, реально нарушающими саму логику путем использования недоказанных посылок в качестве доказанных, то есть путем подмены. Таким образом, основной задачей заявителей "мысленных экспериментов" является обман слушателя или читателя путем замены настоящего физического эксперимента его "куклой" - фиктивными рассуждениями под честное слово без самой физической проверки.
Заполнение физики воображаемыми, "мысленными экспериментами" привело к возникновению абсурдной сюрреалистической, спутанно-запутанной картины мира. Настоящий исследователь должен отличать такие "фантики" от настоящих ценностей.

Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.

Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").

Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.

Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.

Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.

НОВОСТИ ФОРУМАФорум Рыцари теории эфира
Рыцари теории эфира
  27.04.2016 - 07:59: СОВЕСТЬ - Conscience -> Проблема государственного терроризма - Карим_Хайдаров.
25.04.2016 - 07:47: СОВЕСТЬ - Conscience -> КОЛЛАПС МИРОВОЙ ФИНАНСОВОЙ СИСТЕМЫ - Карим_Хайдаров.
24.04.2016 - 21:11: АСТРОФИЗИКА - Astrophysics -> Комета 67Р/Чурюмова-Герасименко и проблема ее происхождения - Евгений_Дмитриев.
20.04.2016 - 12:33: ЭКОЛОГИЯ - Ecology -> ЭКОЛОГИЯ ДЛЯ ВСЕХ - Карим_Хайдаров.
17.04.2016 - 22:31: СОВЕСТЬ - Conscience -> РУССКИЙ МИР - Карим_Хайдаров.
09.04.2016 - 06:59: АСТРОФИЗИКА - Astrophysics -> Сезонные колебания уровня вод морей и океанов - Юсуп_Хизиров.
28.03.2016 - 16:42: СОВЕСТЬ - Conscience -> ПРАВОСУДИЯ.НЕТ - Карим_Хайдаров.
17.03.2016 - 11:20: СЕЙСМОЛОГИЯ - Seismology -> Запасы воды под Землёй - Карим_Хайдаров.
15.03.2016 - 16:15: ЦИТАТЫ ЧУЖИХ ФОРУМОВ - Outside Quotings -> ВЫМИРАНИЕ ДИНОЗАВРОВ на www.nkj.ru - Карим_Хайдаров.
23.02.2016 - 20:34: Беседка - Chatter -> Приливы и отливы - Юсуп_Хизиров.
19.02.2016 - 05:38: ФИЗИКА ЭФИРА - Aether Physics -> Скорость распространения гравитации - Карим_Хайдаров.
Боровское исследовательское учреждение - Bourabai Research Bourabai Research Institution