Рассмотрение связи с различными аспектами жизнедеятельности человека понятия "золотое сечение". Эстетика как отдельная наука, изучающая сущность красоты. Методы расчета биноминальных элементов. Числовые закономерности, последовательность Фибоначчи.

Понятие математической индукции. Полная и неполная индукция. Дедуктивный и индуктивный методы рассуждений. Обнаружение математических закономерностей Суть и условия применения метода математической индукции в образовательном процессе, в решении задач.

Исследование особенностей математической индукции, одного из методов доказательства истинности некоего утверждения для всех натуральных чисел. Характеристика аксиомы Пеано, аксиомы существования минимума, доказательства аксиомы индукции как теоремы.

Примеры неприменимости метода неполной индукции в математике. Теоремы, приводящие к доказательству методом математической индукции. Описание способов доказательств утверждений в математике. Открытие общих закономерностей наблюдениями и методом индукции.

Подробные описания и другие начальные сведения о наиболее интересных, актуальных и занимательных логических и компьютерных играх и головоломках: магических квадратах, крестиках-ноликах, игре Жизнь и Футбол, полифомах (пентамино), танграммах, лабиринтах.

Аксиоматический метод в математике. Конъюнктивная и дизъюнктивная нормальные формы. Построение исчисления высказываний в виде формальной системы. Формализация математических теорий на языке первого порядка. Теорема о полноте. Алгоритмы и машина Тьюринга.

Характеристика основ нечёткой и модальной логики. Знакомство с примерами экспертных систем. Место математической логики в информационных технологиях и программировании. Рассмотрение правил записи сложных формул. Особенности метода дедуктивного вывода.

Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.

Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.

Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.

Постановка задачи и построение модели алгоритма, описание и доказательство его правильности. Описание переменных программы и расчет вычислительной сложности. Использование одномерного массива размерности, совпадение начального и конечного результата.

Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.

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

Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.

Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.

Вырождение математической мифологии: конструкции как парадигмальные схемы. Рассмотрение математики как эстетического феномена и пангеометризма как способа понимания природы. Взаимосвязь между разнообразными сторонами философского культурного организма.

Основные этапы математического моделирования. Общие понятия и определение модели и их классификация. Математическая модель в задачах оптимизации. Элементарные математические модели. Задача о нахождении связи между структурой и свойствами веществ.

Подход к созданию системы мониторинга технологических процессов транспорта газа. Основные входные и выходные параметры газоперекачивающих агрегатов, газотранспортной системы, влияющие на качественные показатели транспортируемого продукта (природный газ).

Разработка математической модели оценки совместимости индивидуумов в процессе их взаимоотношений. Определение степени согласования интересов индивидуумов в группе. Расчет оптимальных соотношений пропорций выигрышей индивидуумов по матрице предпочтений.

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

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

Знакомство с основными особенностями разработки математической модели гидропривода для станка ОК-63. Анализ принципиальной схемы гидравлического привода рабочего органа окорочного станка. Рассмотрение особенностей математического аппарата системы MatLab.

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

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

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

Особенности функционирования асинхронных двигателей с короткозамкнутым ротором и с фазным ротором. Рассмотрение математической модели, применяемой для расчета потерь электроэнергии в асинхронных двигателях и построения статических характеристик.

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

Исследование закономерностей обмена информацией между информационными средами. Выявление зависимостей между процессами обмена информацией, накопления информации, роста информационной среды. Анализ процессов их самоорганизации и саморегулирования.

Характеристика возможностей ПС MATLAB 6.1 и тулбокса NNT. Основные особенности использования приложений Notebook. Линейная сеть как слой из S нейронов и R входов, каждый из которых может состоять из нескольких элементов. Обучение Линейного Нейрона.

Ознакомление с теоремой кодирования. Рассмотрение основных математических моделей дискретных каналов с памятью. Определение понятия эргодичности. Анализ практической реализации каналов с памятью, на примере Марковских моделей массового обслуживания.