Заказ работы

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

Самые новые

Значок файла Построение однофакторных регрессионных моделей для прогноза Мето-дические указания к выполнению практических занятий по дисциплине «Планирование на предприятии» Специальность «Экономика и управле-ние на предприятии (горной промышленности и геологоразведки)» (060800) (3)
(Методические материалы)

Значок файла Оценка основных метрологических характеристик: Метод. указ. / Сост.: Ю.В. Пожидаев, Н.В. Ознобихина: СибГИУ. – Новокузнецк, 2003. – 31 с., ил.12 (3)
(Методические материалы)

Значок файла ОПРЕДЕЛЕНИЕ ПЛОЩАДИ ПОВЕРХНОСТЕЙ КОНТАКТА ФАЗ В СИСТЕМАХ МЕТАЛЛ-ШЛАК-ГАЗ В УСЛОВИЯХ ЗНАЧИТЕЛЬНОЙ ИХ ДЕФОРМАЦИИ МЕТОДАМИ ФИЗИЧЕСКОГО МОДЕЛИРОВАНИЯ (2)
(Методические материалы)

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

Значок файла НАГРЕВ СТАЛЬНОЙ ЗАГОТОВКИ ПРИ ПО-СТОЯННОЙ ТЕМПЕРАТУРЕ ПЕЧИ Мето-дические указания к лабора-торной работе по основам теп-ломассообмена (2)
(Методические материалы)

Значок файла Варианты задач по курсу “Физика”. Часть 1: Механика, молекулярная физика. Часть 2: Электростатика, магнетизм. Метод. указ. /Сост.: Шарафутдинов Р.Ф., Ерилова Т.В.: ГОУ ВПО “СибГИУ”.- Новокузнецк, 2003. -45 с (2)
(Методические материалы)

Значок файла МЕТОДЫ ТЕРМИЧЕСКОГО АНАЛИЗА Методические ука-зания к выполнению лабораторной работы по дисциплине «Ме-тоды и средства измерений, испытаний и контроля». Специальность «Стандартизация и сертификация» (072000) (2)
(Методические материалы)

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

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

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

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


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