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

Логика предикатов первого порядка. Основы логики предикатов
Логика предикатов первого порядка. Основы логики предикатов
Класс задач, решаемых с использованием логики высказываний, очень ограничен. Например, из посылок следующего классического примера – «Все люди смертны» и «Сократ – человек» – интуитивно следует заключение «Сократ смертен». Однако в рамках логики высказываний решить эту задачу не удается. Объясняется это тем, что утверждение в логике высказываний это неделимый объект (атом), а приведенный пример требует анализа внутренней структуры предложения. Логика предикатов первого порядка позволяет выразить большее разнообразие утверждений благодаря тому, что в нее добавлены термы, предикаты и кванторы. Если проанализировать приведенные выше три утверждения, то можно обнаружить, что рассуждения здесь ведутся на некоторой предметной области (множестве людей). «Сократ» является объектом этой предметной области. Кроме того, в первом утверждении есть неявное указание на принадлежность к этой предметной области («если некто принадлежит к множеству людей, значит, он смертен»). Такое неконкретизированное указание объекта предметной области соответствует понятию «переменная», а явное указание «Сократ» – понятию «константа». Принадлежность объекта к предметной области можно задать в виде «логической функции» или предиката. Например, предикат ЧЕЛОВЕК(x) указывает на то, что если x является человеком, то высказывание ЧЕЛОВЕК(x) является истинным, и, соответственно, предикат СМЕРТЕН(x) указывает на то, что x смертен. Здесь формы записи ЧЕЛОВЕК и СМЕРТЕН называются предикатными символами. Выражение «все люди» служит примером квантификации, такая запись символически может быть представлена как ∀ и называется квантором всеобщности (общности). Запись (∀x) читается как «для всех x», «для всякого x», «для каждого x».
Продолжить чтение
Логическая модель. Логика высказываний. Основы логики высказываний
Логическая модель. Логика высказываний. Основы логики высказываний
Употребление термина «логика» в словаре С.И. Ожегова имеет три основных значения: 1) наука о законах и формах мышления; 2) ход рассуждений или умозаключений; 3) разумность, внутренняя закономерность чего-либо. Таким образом, логику можно рассматривать с различных точек зрения. Логика будет рассматриваться как формализм для представления знаний. Как самостоятельная научная дисциплина логика сформировалась в силлогистике гениального мыслителя древности Аристотеля. . Особая роль принадлежит Эрбрану и Робинсону, предложившим автоматический метод доказательства теорем. После того как Р. Ковальски показал, как процесс логического доказательства преобразуется в традиционный процесс вычисления, логика перестала быть сугубо теоретической дисциплиной, став основой для создания языка программирования ПРОЛОГ и породив новое направление в программировании – логическое. простейшая математическая логика – логика высказываний, или логика нулевого порядка. Здесь основным понятием является высказывание – всякое повествовательное предложение, утверждающее что-либо о чем-либо, – и при этом можно сказать, истинно высказывание или ложно, но ни одно высказывание не может быть одновременно истинным и ложным. более общая система – логика первого порядка. Логика предикатов первого порядка позволяет выразить большее разнообразие утверждений благодаря тому, что в нее добавлены термы, предикаты и кванторы.
Продолжить чтение
Симметрия в природе
Симметрия в природе
Трудно найти человека, который не имел бы какого-то представления о симметрии. «Симметрия»-слово греческого происхождения. Оно, как и слово «гармония», означает соразмерность, наличие определенного порядка, закономерности в расположении частей. В математике рассматриваются различные виды симметрии. Каждый из них имеет свое название: осевая симметрия (симметрия относительно прямой), центральная симметрия (симметрия относительно точки) и зеркальная симметрия (симметрия относительно плоскости). Природа удивительный творец и мастер. Всё живое в природе обладает свойством симметрии. Если сверху посмотреть на любое насекомое и мысленно провести посередине прямую (плоскость), то левые и правые половинки насекомых будут одинаковыми и по расположению, и по размерам, и по окраске.
Продолжить чтение
Задачи математической статистики
Задачи математической статистики
Статистическое распределение выборки Определение: Выборочной совокупностью (выборкой) называется совокупность случайно отобранных объектов из генеральной совокупности. К выборке предъявляется условие представительности или репрезентативности, т.е. выборка должна правильно представлять генеральную совокупность, для этого необходимо, чтобы объекты выборки были отобраны случайно. Определение: Генеральной совокупностью называется совокупность, из которой производиться выборка. Пусть из генеральной совокупности извлечена выборка, причем значение Х1 наблюдалось n1 раз, Х2 -- n2 раз, …, Хk -- nk раз. Тогда: , где n - общее число наблюдений (объем выборки). Лекция №2, ТВиМС, Лакман И.А. Статистическое распределение выборки Определение: Наблюдаемые значения Хi называют вариантами, а последовательность вариант, записанных в возрастающем порядке – вариационным рядом. Число наблюдений ni называют частотами, а их отношение к объему выборки называют относительными частотами . Определение: Статистическим распределением выборки называют перечень вариант и соответствующих им относительных частот. Пусть известно статическое распределение частот количественного признака Х. Пусть nх - число наблюдений, при которых наблюдалось значение признака X меньшее х; n – общее число наблюдений, тогда относительная частота события Х
Продолжить чтение
Сравнение двух средних нормальных совокупностей, дисперсии которых неизвестны и одинаковы (малые независимые выборки)
Сравнение двух средних нормальных совокупностей, дисперсии которых неизвестны и одинаковы (малые независимые выборки)
Сравнение двух средних нормальных совокупностей, дисперсии которых неизвестны и одинаковы (малые независимые выборки). Принятие решений. Двусторонняя проверка. Если альтернативная гипотеза Н1: М(X)≠M(Y) То Если , то нулевую гипотезу не отвергают при уровне значимости α, в противном случае принимают альтернативную гипотезу. Здесь - критическое значение распределение Стьюдента, определенное при степенях свободы ν=п+т-2. Определяется отдельно для тестов двусторонней и односторонней проверок. Правосторонняя проверка. Если альтернативная гипотеза Н1: М(X)>M(Y) Если , то нулевую гипотезу не отвергают при уровне значимости α, в противном случае принимают альтернативную гипотезу. Левосторонняя проверка. Если альтернативная гипотеза Н1: М(X)
Продолжить чтение
Основные определения теории проверки гипотез
Основные определения теории проверки гипотез
Основные определения теории проверки гипотез Определение: Статистическим критерием (тестом) называется правило, позволяющее на основании наблюдений принять нулевую гипотезу Н0 или отвергнуть ее в пользу альтернативной H1. Проверка гипотезы может быть односторонней или двусторонней. Определение: Односторонний критерий используется в тех случаях, когда необходимо знать, является ли параметр генеральной совокупности > (правосторонний критерий) или < (левосторонний критерий) предполагаемого значения. Определение: Двусторонний критерий используется в тех случаях, когда интересует, отличаются ли реальные значения параметра от предполагаемого значения. Определение: Критическую область составляют те значения выборочных статистических показателей, которые ведут к отказу от нулевой гипотезы. Лекция №3, Статистическое моделирование, Лакман И.А. Уровень значимости Определение: Уровень значимости – вероятность ошибочного отклонения нулевой гипотезы Н0 (вероятность ошибки I рода). При статистическом анализе исследователь должен выбрать необходимый уровень значимости. При этом считают низшим уровнем значимости значение α=0.05, достаточным уровнем - α=0.01, высшем уровнем α =0.001. Иногда, доверительной вероятностью считается величина р=1- α Возможные решения статистического критерия: Лекция №3, Статистическое моделирование, Лакман И.А.
Продолжить чтение