Заказ работы

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

Самые новые

Значок файла Основы микропроцессорной техники: Задания и методические указания к выполнению курсовой работы для студентов специальности 200400 «Промышленная электроника», обучающихся по сокращенной образовательной программе: Метод. указ./ Сост. Д.С. Лемешевский. – Новокузнецк: СибГИУ, 2003. – 22 с: ил. (4)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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


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