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

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

(Различия между версиями)
Перейти к: навигация, поиск
м
м
Строка 22: Строка 22:
&forall; y (&phi;<sub>1</sub> &amp; &phi;<sub>2</sub> &amp; &phi;<sub>3</sub> &amp; (&phi;<sub>1</sub> &amp; &phi;<sub>2</sub> &amp; &phi;<sub>3</sub> &rarr; &phi;<sub>4</sub>))
&forall; y (&phi;<sub>1</sub> &amp; &phi;<sub>2</sub> &amp; &phi;<sub>3</sub> &amp; (&phi;<sub>1</sub> &amp; &phi;<sub>2</sub> &amp; &phi;<sub>3</sub> &rarr; &phi;<sub>4</sub>))
 +
 +
=== Задача 2 ===
 +
''Какова бы ни была последовательность действительных чисел, найдется отрезок, содержащий все ее предельные точки.''
 +
 +
&forall; y &forall; n (S(y) &amp; N(n) &amp; (&forall; x E(x, n, y) &amp; R(x)) &amp; &exist; a &exist; b (&forall; p (A(p, y) &amp; (a &le; p) &amp; (p &le; b))))
{{Курс Математическая Логика}}
{{Курс Математическая Логика}}

Версия 15:44, 21 января 2008

Содержание

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

Условные обозначения

  • почти все = все, кроме конечного числа;

Доступные предикаты

  • R(x) — вещественное число;
  • N(x) — натуральное число;
  • S(y) — y — последовательность действительных чисел;
  • E(x, n, y) — x — элемент y с номером n;
  • A(p, y) — p — предельная точка последовательности y;
  • M(x, y) — x — предел последовательности y;
  • x < y, x = y — сравнение и равенство.

Задача 1

Какова бы ни была последовательность действительных чисел и отрезок [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))

Задача 2

Какова бы ни была последовательность действительных чисел, найдется отрезок, содержащий все ее предельные точки.

∀ y  ∀ n (S(y) & N(n) & (∀ x E(x, n, y) & R(x)) & ∃ a ∃ b (∀ p (A(p, y) & (a ≤ p) & (p ≤ b))))


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


Лекции

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 года | Алгоритмы решения задач

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