Математическая Логика, решение задач/variant 2004

Материал из eSyr's wiki.

Версия от 15:37, 21 января 2008; ESyr01 (Обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Построение предиката по утверждению

Какова бы ни была последовательность действительных чисел и отрезок [a, b] действительных чисел, если бесконечно много элементов этой последовательности содержится в данном отрезке, то хотя бы одна предельная точка данной последовательности также сожержится в этом отрезке.

φ1 = ∀ n (S(y) & N(n) & (∀ x E(x, n, y) & R(x)))
φ2 = ∀ z ((a ≤ z) & (z ≤ b))
φ3 = ∀ n1 (N(n1) & ∃ n2 ((n2 ≥ n1) & ∃ x1 (E(x1, n2, y) & ((a ≤ x1) & (x1 ≤ b))))
φ4 = ∃ p (A(p, y) & ((a ≤ p) & (p ≤ b)))

∀ y (φ1 & φ2 & φ3 & (φ1 & φ2 & φ3 → φ4))


Математическая Логика


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

Сентябрь
24 25 26
Октябрь
02 03 10 17 24 31
Ноябрь
07 14 21 28
Декабрь
05 12 19
Семинары

01 02 03 04 05 06 07


Календарь

Сентябрь
26
Октябрь
10 24
Ноябрь
07 21
Декабрь
05 19

Ссылки
Официальная страница курса | Задачи
Проведение экзамена | Решение задач: Решение задач методички | Решение задач варианта экзамена 2004 года | Алгоритмы решения задач

Личные инструменты
Разделы