Структура исчисления предикатов - построение логического вывода
Синтаксис языка логики предикатов. Свободные и связные вхождения переменных в формулы. Семантика языка логики предикатов. Логика предикатов. Логическое следование. Закон логики предикатов. Исчисление предикатов. Натуральная система исчисления предикатов. Раздел: Рефераты по математике
Тип: курсовая работа
Чтение и запись натуральных чисел
Для счета предметов применяют натуральные числа. Любое натуральное число можно записать с помощью десяти цифр: 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