Структура исчисления предикатов - построение логического вывода | |
Синтаксис языка логики предикатов. Свободные и связные вхождения переменных в формулы. Семантика языка логики предикатов. Логика предикатов. Логическое следование. Закон логики предикатов. Исчисление предикатов. Натуральная система исчисления предикатов. |
Раздел: Рефераты по математике Тип: курсовая работа |
Чтение и запись натуральных чисел | |
Для счета предметов применяют натуральные числа. Любое натуральное число можно записать с помощью десяти цифр: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Эти цифры иногда по ошибке называют «арабскими». |
Раздел: Рефераты по математике Тип: доклад |
Великая теорема Ферма | |
Когда дьявол узнал об условии заключения договора с ученым-математиком о продажи его души, он рассмеялся и сказал: «Нет ничего проще. У меня есть доказательство этой теоремы, написанное самим Ферма». |
Раздел: Рефераты по математике Тип: доклад |
Кооперативные игры | |
Кооперативные игры получаются в тех случаях, когда, в игре n игроков разрешается образовывать определённые коалиции. |
Раздел: Рефераты по математике Тип: курсовая работа |
Звезды. Классификация и строение звезд | |
Звездные величины. Расстояние до звезд. Светимость. Масса. Спектральная классификация. Звезды-гиганты и звезды-карлики. Переменные звезды. Звезды, истекающие газом. Новые звезды. Сверхновые звезды. Двойные звезды. Звездные скопления. |
Раздел: Рефераты по математике Тип: реферат |
Повторные независимые испытания. Формула Бернулли | |
Рассмотрим случай многократного повторения одного и того же испытания или случайного эксперимента. Результат каждого испытания будем считать не зависящим от того, какой результат наступил в предыдущих испытаниях. |
Раздел: Рефераты по математике Тип: реферат |
Поиск и исследование внеземных форм жизни. Планетарный карантин, необходимый при этом | |
Поиск и исследование внеземных форм жизни. Предмет и задачи. Критерии существования и поиска живых систем. О химической основе жизни. |
Раздел: Рефераты по математике Тип: курсовая работа |
История геометрии | |
Геометрия на Востоке. Греческая геометрия. Геометрия новых веков. Классическая геометрия XIX века. Неевклидовая геометрия. Геометрия XX века. |
Раздел: Рефераты по математике Тип: реферат |
Элементарные сведения о частицах и анти-частицах | |
Созданная в 1925-1926 гг. квантовая теория имела существенный недостаток: она была нерелятивистской, в ней не соблюдались принципы относительности и предельности скорости света. |
Раздел: Рефераты по математике Тип: доклад |
Дисперсионный анализ | |
Дисперсионный анализ. Применение дисперсионного анализа в различных задачах и исследованиях. Дисперсионный анализ в контексте статистических методов. |
Раздел: Рефераты по математике Тип: курсовая работа |
1 ... << 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 >> ... 147
Всего страниц: 147