Заказ работы

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

Самые новые

Значок файла SQL: SELECT-ЗАПРОСЫ -АГРЕГИРОВАНИЕ И ГРУППОВЫЕ ФУНКЦИИ Методические рекомендации к лабораторной работе по курсу «Автоматизированные информационно-управляющие системы» для студентов специальности 2101 по направлению Т-02 (7)
(Методические материалы)

Значок файла SQL: ИЗВЛЕЧЕНИЕ ДАННЫХ - команда SELECT Методические рекомендации к лабораторной работе по курсу «Автоматизированные информационно-управляющие системы» для студентов специальности 2101 по направлению Т-02 (9)
(Методические материалы)

Значок файла Основы архитектурно-конструктивного проектирования Часть 2 «Основы архитектурного проектирования» (6)
(Методические материалы)

Значок файла Осипов Ю.К. Архитектурные конструкции. Часть I. Фундаменты. Учебное посо-бие / СибГИУ, Новокузнецк, 2003 – 130 стр. (7)
(Методические материалы)

Значок файла Ряды: методические указания /Сост.: М.С.Волошина, С.Ф.Гаврикова: СибГИУ. – Новокузнецк, 2005. – 42 с. (17)
(Методические материалы)

Значок файла Пределы: Метод. указ./ Составители: С.Ф. Гаврикова, И.В. Касымова.–Новокузнецк: ГОУ ВПО «СибГИУ», 2003. (13)
(Методические материалы)

Значок файла Предел. Непрерывность: Метод. указ. / Сост.: Л.А. Кильман: СибГИУ. – Новокузнецк, 2005. - с. (13)
(Методические материалы)

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

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

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

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


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