Заказ работы

Заказать
Каталог тем

Самые новые

Значок файла Производственная специальная практика: Метод. указ. и рабочая программа / Сост.: Н.И. Швидков, В.Б. Деев, А.В. Феоктистов: СибГИУ. – Новокузнецк, 2002. – 14 с (0)
(Методические материалы)

Значок файла Программа и методические указания по проведению преддипломной практики на металлургических предприятиях.: Метод. указ. / Сост.: И.К.Коротких, А.А.Усольцев, А.И.Куценко: СибГИУ - Новокузнецк, 2004- 20 с (0)
(Методические материалы)

Значок файла Программа и методические указания по проведению производственной практики на металлургических предприятиях. : Метод. указ / Сост.: И.К. Коротких, Б.А. Кустов, А.А. Усольцев, А.И. Куценко: СибГИУ - Но-вокузнецк 2003- 22 с. (0)
(Методические материалы)

Значок файла Применение регрессионного и корреляционного анализа при проведе-нии исследований в литейном производстве: Метод. указ. / Сост.: О.Г. Приходько: ГОУ ВПО «СибГИУ». – Новокузнецк. 2004. – 18 с., ил. (0)
(Методические материалы)

Значок файла Преддипломная практика: Метод. указ. и рабочая программа / Сост.: Н.И. Швидков, В.Б. Деев, А.В. Феоктистов: СибГИУ. – Новокузнецк, 2002. – 9 с. (0)
(Методические материалы)

Значок файла Неразрушающие методы контроля Ультразвуковая дефектоскопия отливок Методические указания к выполнению практических занятий по курсу «Метрология, стандартизация и сертификация» Специальность «Литейное производство черных и цветных металлов» (110400), специализации (110401) и (110403) (6)
(Методические материалы)

Значок файла Муфта включения с поворотной шпонкой кривошипного пресса: Метод. указ. / Сост. В.А. Воскресенский, СибГИУ. - Новокуз-нецк, 2004. - 4 с (9)
(Методические материалы)

Каталог бесплатных ресурсов

М. Р. Пентус. Введение в математическую логику

1 Введение
1.1 Предварительные сведения
1.1. В этом курсе нуль является натуральным числом. Множество всех натураль-
ных чисел обозначается N. Множество всех целых чисел обозначается Z. Множество
всех рациональных чисел обозначается Q. Множество всех действительных чисел
обозначается R.
1.2. Натуральные числа будем обозначать буквами i, j, k, l, m, n (возможно,
с индексами).
1.3. Множество A называется счётным, если существует б иекция между A и N.
1.4. Принцип математической индукции состоит в следующем: утверждение
A(x), зависящее от натурального параметра x, считается доказанным, если дока-
зано A(0) и для любого натурального числа n из предположения, что верно A(n),
выведено, что верно также A(n + 1).
Часто удобно пользоваться следующей эквивалентной формой принципа матема-
тической индукции, называемой иногда принципом возвратной индукции: утвер-
ждение A(x), зависящее от натурального параметра x, считается доказанным, если
для всякого натурального числа n из предположения, что A(x) верно при любом
натуральном x < n, следует, что A(x) верно также при x = n.
1.5. Формула, начинающаяся с квантора существования по пустому множеству,
ложна. Формула, начинающаяся с квантора всеобщности по пустому множеству,
истинна.


Размер файла: 688.57 Кбайт
Тип файла: pdf (Mime Type: application/pdf)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров