Пример готового реферата по предмету: Высшая математика
Содержание
Введение 3
Основные понятия алгебры высказываний. Логические высказывания, логические операции над высказываниями 4
Строение теорем. Необходимое и достаточное условия 8
Булева алгебра 10
Предикаты. Кванторы всеобщности и существования 12
Применение математической логики в алгоритмизации, теории автоматов, языках и грамматике 15
Литература 17
Содержание
Выдержка из текста
Элементы математической логики
Древние математики заметили, что логика могла бы стать математической наукой. Предвестники нового этапа в логике появились в работах Лейбница, когда традиционная задача математики: «заменить вычисления рассуждениями» была инвертирована и превратилась в задачу математической логики: «заменить рассуждения вычислениями». Аппарат для этого начал возникать в трудах логиков XIX века, прежде всего английской школы – де Моргана, Буля, и американского логика Пирса. Но настоящее развитие математической логики пошло лишь в XX веке, когда математика доросла до того, чтобы применять свои методы для анализа своей собственной структуры. Появилась новая наука – математическая логика, унаследовавшая задачи философской логики, но использовавшая для их решения математический аппарат. Как сформулировал А. А. Марков: «Математическая логика – логика по предмету, математика по методу» [1].
В конце прошлого — начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы. Теперь логика — одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
В перечисленных работах ставились и решались важные общие психолого-педагогические и методические проблемы учета индивидуальных особенностей учащихся и дифференцированного обучения. В то же время потребности современной школы ставят перед методикой преподавания математики новые задачи, связанные с дифференциацией обучения.
Задача
5. По заданной матрице расстояний графа G найти величину минимального пути и сам путь от вершины s=х 1 до вершины t=х 6, а затем величину максимального пути и сам путь между теми же вершинами.
Теоретические аспекты обобщения математических понятий в начальных классах 5 Психолого-педагогические условия использования элементов математической логики в школьном курсе математики
1. Опытно-экспериментальная работа по развитию у младших школьников способности к обобщению математических понятий посредством использования буквенной символики 19
1) Приведите примеры величин, связанных функциональной зависимостью.
2. Дайте характеристику этой функции (вид функции, четность, периодичность, монотонность).
3. Опишите ситуацию, в которой эта функция выступает как математическая модель объекта, процесса, явления. Какой способ (или способы) задания функции (аналитический, графический, таблицей, описанием) наилучшим образом соответствует этой ситуации?
работы очевидна ,в едь математическая логика позволяет развивать мышление, учит конструктивно выстраивать свою мысль, решать те или иные задачи, не только математические, но и жизненные. Цель данной работы : применение в математической логике решения задач разными способами, и практическая значимость и преимущество конструктивного В соответствии с поставленной целью были определены и раскрыты следующие задачи: Подробнее рассмотреть и раскрыть понятие математическая логика Рассмотреть мышление как объект логики Подробнее рассмотреть роль мышления в познании Понять в чем заключается роль логики в решении математических задач Рассмотреть особенности конструктивного мышления Рассмотреть преимущества решения задач разными способами, и практическую значимость конструктивного мышления
Нет введения.
Сильные компоненты графа: (x 1,x 2,x 3,x 4), то есть все компоненты графа являются сильными. Маршруты длины
2. Выходящие из точки 1: (x 1-x 2-x 4), (x 1-x 2-x 3), (x 1-x 3-x 4) , (x 1-x 3-x
1. Выходящие из точки 2: (x 2-x 3-x 1), (x 2-x 3-x 4), (x 2-x 4-x
2. Выходящие из точки 3: (x 3-x 1-x 2), (x 3-x 1-x 3), (x 3-x 4-x
2. Выходящие из точки 4: (x 4-x 2-x 4), (x 4-x 2-x 3)
Входной файл состоит из единственной строки, содержащей формулу исчисления высказываний, которую требуется доказатв или опровергнутв. Ввгсказвгоание удовлетворяет грамматике из первого задания. Выходной файл должен либо содержатв доказателвство высказывания (в формате доказателвства из первого задания), либо содержатв фразу, удовлетворяющую грамматике:
Литература
1. Непейвода Н.Н. Прикладная логика/ Н.Н. Непейвода. – Изд. НГУ, 2000. – 494 с.
2. Шатурная О.С. Математическая логика и теория алгоритмов. Конспект лекций/ О.С. Шатурная – Саратов.: СГТУ, 2003. – 26 с.
3. Шевелёв Ю. П. Дискретная математика/ Ю. П. Шевелёв. – Томск, 2003. – 119 с.
4. Википедия. Интернет [электронный ресурс]
– Режим доступа. – URL: http://ru.wikipedia.org/wiki
5. Математический форум Math Help Planet. Приложение алгебры высказываний к доказательству теорем. Интернет [электронный ресурс]
– Режим доступа. – URL: http://mathhelpplanet.com
6. Каширин И. Теория автоматов. Интернет [электронный ресурс]
– Режим доступа. – URL: http://teorya.hut.ru/page 2.htm
7. Области применения математической логики. Интернет [электронный ресурс]
– Режим доступа. – URL: http://ulfek.ru/
список литературы
