Заказ работы

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

Самые новые

Значок файла Моделирование электротехнических устройств и систем с использованием языка Си: Метод указ. /Сост. Т.В. Богдановская, С.В. Сычев (6)
(Методические материалы)

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

Значок файла Методические указания к выполнению курсовой работы по дисциплине “Бухгалтерский управленческий учёт” / Сост.: Щеглова Л.П.: СибГИУ. – Новокузнецк, 2003. – 18с (5)
(Методические материалы)

Значок файла Исследование элементов, узлов и устройств цифровой. вычислительной техники: Метод. указ. / Составители: Ю.А. Жаров, А.К. Мурышкин:СибГИУ.- Новокузнецк, 2004. - 19с (7)
(Методические материалы)

Значок файла Операционные усилители: Метод. указ. / Сост.: Ю. А. Жаров: СибГИУ. – Новокузнецк, 2002. – 23с., ил (5)
(Методические материалы)

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

Значок файла Знакомство со средой MatLab. Приемы программирования (6)
(Методические материалы)

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

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

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)
Заказ курсовой диплома или диссертации.

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


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