Заказ работы

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

Самые новые

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

Значок файла Методические указания по дипломному и курсовому проектированию к расчету материального баланса кислородно-конвертерной плавки при переделе фосфористого чугуна с промежуточным удалением шлака / Сост.: В.А._Дорошенко, И.П _Герасименко: ГОУ ВПО «СибГИУ». – Новокузнецк, 2003. – с. (8)
(Методические материалы)

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

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

Значок файла Изучение особенностей прокатки сортовых профилей. Метод. указ. / Сост.: А.Р. Фастыковский, В.Н. Кадыков, В.М. Нефедов: СибГИУ. – Новокузнецк, 2004. – 18 с (7)
(Методические материалы)

Значок файла ХИМИЯ ДЛЯ СТУДЕНТОВ ЗАОЧНОГО ФАКУЛЬТЕТА Методические рекомендации, программа и контрольные задания для студентов заочного факультета (8)
(Методические материалы)

Значок файла Задания для пятнадцатиминутных опросов на практических и лабораторных работах: /Сост.: Ж.М.Шулина, О.Р.Глухова: ГОУ ВПО «СибГИУ».-Новокузнецк, 2003 (8)
(Методические материалы)

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

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

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

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


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