Презентации по Математике

Алгебра высказываний. Логика и теория алгоритмов
Алгебра высказываний. Логика и теория алгоритмов
Литература к курсу Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика – М.: Финансы и статистика, 2006. – 368 с. Игошин В.И. Математическая логика и теория алгоритмов: учебное пособие для студ. высш. учеб. заведений – 2-е изд., стер. – М.: Академия, 2008. – 448 с. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1971. – 320 с. Новиков П.С. Элементы математической логики – М.: Наука, 1973. – 400 с. Соболева Т.С., Чечкин А.В. Дискретная математика: учебник для студ. ВУЗов; под ред. Чечкина А.В. – М.: Академия, 2006. – 256 с. 1.Алгебра высказываний. Логика и теория алгоритмов, Аксёнов С.В. Темы лекции 1. Высказывания и операции над ними Формулы алгебры высказываний Тавтологии алгебры высказываний Логическая равносильность формул Нормальные формы для формул алгебры высказываний Логическое следование формул 1.Алгебра высказываний. Логика и теория алгоритмов, Аксёнов С.В.
Продолжить чтение
Цель диагностики математического развития детей
Цель диагностики математического развития детей
Пример Цель - выявить особенности представлений о геометрических фигурах (круг, квадрат, прямоугольник, треугольник) у детей среднего дошкольного возраста. Задачи: • определить уровень развития обследовательских умений, узнавания плоских геометрических фигур на ощупь и с помощью зрения, характер их словесного обозначения; • выявить понимание независимости эталонной формы геометрической фигуры от ее цвета, величины, пространственного расположения; умение группировать и классифицировать геометрические фигуры по различным признакам; • выявить умение находить в окружающей обстановке предметы, похожие на знакомые геометрические фигуры; • выявить умение выделять в сложной форме предмета отдельные геометрические фигуры. Подготовительный этап Цель – обеспечить успешное проведение обследования. 1 шаг. Берем программу, выписываем программные задачи. 2 шаг. Определяем критерии и показатели развития. Критерий (от греч. Kriteron - средство для суждения) - признак, на основании которого производится оценка, определение или классификация чего-либо. Показатель (от позднелат. indicator - указатель) - некоторая величина или качество переменной (критерия), которое может проявляться у конкретного объекта, его количественная или качественная характеристика. Критерии математического развития детей: - объем знаний, их соответствие программе; - осознанность и конкретность представлений; применение знаний, умений и навыков в новой ситуации; характер деятельности: интерес,аккуратность, рациональность, наличие самоконтроля и саморегуляции; владение терминологией и речевым выражением способов действий; - степень самостоятельности и творческих проявлений ребенка.
Продолжить чтение
Математические диктанты. Обыкновенные дроби
Математические диктанты. Обыкновенные дроби
Содержание Диктант №1 (понятие дроби, прав. и неправ. дроби) Диктант №2 (сравнить дроби) Диктант №3 (сложен. и вычит. дробей с один. знам.) Диктант №4 (смешанные числа) Диктант №5 (действия со смешанными числами) Диктант №6 (действия со смешанными числами) Диктант №7 (решение уравнений) Диктант №8 (обыкновенна дробь, смешанное число) Диктант №1 1). Запишите числитель дроби 2). Запишите знаменатель дроби 3). При каких значениях а дробь будет неправильной? 4). При каких значениях а дробь будет правильной? 5).Запишите в виде дроби число семь девятых 6).Запишите в виде дроби число пять семнадцатых 7).Запишите в виде дроби число девяносто пять сотых 8).Запишите все правильные дроби со знаменателем 7. 9). Запишите все неправильные дроби с числителем 9. 10). Найдите 4/15 от 900 11). Найдите 7/20 от развернутого угла. 12). Вова прочитал 4/15 книги, в которой 300 стр.. Сколько стр. прочитал Вова? Подведём итоги
Продолжить чтение
Теория алгоритмов
Теория алгоритмов
Элементы теории алгоритмов. Тема 1: Нестрогое определение алгоритма. Тема 2: Рекурсивные функции. Тема 3: Алгоритм как абстрактная машина. Тема 4: Нормальные алгоритмы Маркова. Тема 5: Сопоставление алгоритмических моделей. Тема 6: Проблема алгоритмической разрешимости. Тема 7: Сложность алгоритма. Модуль 1. Компьютер нужен человеку для решения задач практики. Просматриваются общие моменты в порядке их решения: - во-первых, требуется выделить систему и построить ее информационную модель. - во-вторых, должен быть установлен порядок обработки данных. В общем случае обработка состоит в преобразовании по некоторым правилам исходной данных, в результате чего появляются новые данные. Преобразование должно осуществлять некоторое техническое устройство в автоматическом режиме. Алгоритмы. Модели. Системы.
Продолжить чтение
Математическая логика
Математическая логика
Элементарная классическая логика. Семантика логических знаков. Введение: Высказывания и формы высказываний. Тема 1: Логические союзы. Тема 2: Язык логики высказываний. Тема 3: Правильно построенное высказывание. Тема 4: Формула логики высказываний. Тема 5: Семантика логических знаков. Тема 6: Семантическая таблица отрицания. Тема 7: Семантическая таблица исключающей (строгой) дизъюнкции. Модуль 1. Высказыванием называют предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Будем считать, что: - всякое высказывание истинно или ложно - ни одно высказывание не является сразу истинным и ложным. Истинность и ложность называют логическими, или истинностными, значениями высказываний. Если высказывание истинно, то говорят, что оно имеет логическое значение "истина", а если высказывание ложно, то говорят, что оно имеет логическое значение "ложь". Введение: Высказывания и формы высказываний.
Продолжить чтение