Помощь студентуФайлыУчебникиМатематическая логика и основы математики Б. А. Кушнер
22 Октября 2017, Воскресенье
18:27
>>> Качественная веб-разработка <<<
18:27
Меню сайта
>Г Л А В Н А Я

>Ф А Й Л Ы

>С Т А Т Ь И

>Р Е Ф Е Р А Т Ы

>Ф О Р У М

>О Т З Ы В Ы

>Т Е С Т Ы

>F l a s h И Г Р Ы

>Ф О Т О Ш О П


Советуем...
Работа с Турбо Паскалем #2/2
Хороший учебник по языку Паскаль. Очень много полезной информации, все описывается без лишних слов.

Первая часть.

XVI32 2.51
Шестнадцатеричный редактор для программистов. Помимо стандартных для такого рода программ возможностей редактирования, предлагает подсчет контрольных сумм CRC16 и CRC32, поиск, замену и подсчет числа вхождений байтов в файл.

Работа с Турбо Паскалем #1/2
Хороший учебник по языку Паскаль. Очень много полезной информации, все описывается без лишних слов.

Вторая часть.

Решенные задания из пильщикова
Решенные задания из Пильщикова. Какие задания решены, читайте на странице материала.


Опрос
Вы учитесь в ...
Всего ответов: 654

Сотрудничество
Поставьте себе на сайт и сообщите мне


код кнопки:


Связь с админом
395799449
Написать админу
Оставить отзыв


Файлы
Главная » Файлы » Учебные материалы » Учебники

Математическая логика и основы математики Б. А. Кушнер

Название: Математическая логика и основы математики Б. А. Кушнер
Категория: Учебники
Формат файла: *.djvu
Размер: 6.96 MB
Просмотров: 4153
Загрузок: 1159

Дата добавления: 20 Августа 2009, 10:51
Поделиться:
Скачать:

Скачать Математическая логика и основы математики Б. А. Кушнер


Внимание! Если ссылка не работает, файл не найден или просто возникают какие-либо вопросы, напишите об этом, пожалуйста, мне на почту: xdypx@yandex.ru. В письме достаточно указать ссылку на эту страницу и описание проблемы или свой вопрос.


Описание:
ОГЛАВЛЕНИЕ:

Глава 1 Нормальные алгорифмы и перечислимые множества
§ 1. Нормальные алгорифмы
§ 2. Некоторые неразрешимые алгорифмические проблемы теории алгорифмов
§ 3. Разрешимые и перечислимые множества

Глава 2 Конструктивные действительные числа
§ 1. Натуральные, целые и рациональные числа
§ 2. Конструктивные действительные числа (КДЧ). Основные определения
§ 3. Отношения равенства и порядка на множестве КДЧ .
§ 4. Арифметические операции над КДЧ
§ 5. Рациональные числа в конструктивном континууме . .

Глава 3 Конструктивная сходимость. Эффективная несчетность конструктивного континуума
§ 1. Основные определения. Первоначальные теоремы о пределах
§ 2. Полнота конструктивного континуума. Теорема о вложенных сегментах .
§ 3. Пример монотонной ограниченной не сходящейся последовательности рациональных чисел
§ 4. Эффективная несчетность конструктивного континуума .

Глава 4 Невозможность некоторых алгорифмов, связанных с конструктивными действительными числами
§ 1. Некоторые алгорифмические проблемы, связанные с соотношениями равенства и порядка на конструктивном континууме. Приложения к алгебре
§ 2. Невозможность некоторых алгорифмов, связанных со сходимостью
§ 3. Конструктивные действительные числа и систематические дроби

Глава 5 Конструктивные функции
§ 1. Основные определения. Некоторые примеры ....
§ 2. Свойства непрерывности. Равномерно непрерывные функции
§ 3. Структура конструктивных функций
§ 4. Теоремы о среднем значении для конструктивных функций ..

Глава 6 Дифференцирование конструктивных функций
§ 1. Основные определения
§ 2. Теоремы о среднем значении дифференциального исчисления
§ 3. Невозможность некоторых алгорифмов, связанных с дифференцированием

Глава 7 Интегрирование конструктивных функций по Риману
§ 1. Основные определения. Теорема об ограниченности ининтегрируемых функций
§ 2. Некоторые критерии интегрируемости. Интегрируемость
равномерно непрерывных функций. Интегрируемость модуля и произведения интегрируемых функций ....
§ 3. Интеграл как функция верхнего предела. Теорема Нью-Ньютона—Лейбница. Теорема о замене переменной . . .

Глава 8 Сингулярные покрытия и некоторые их применения
§ 1. Основные определения. Существование сингулярных покрытий .
§ 2. Примеры конструктивных функций с необычными свойствами
§ 3. Невозможность некоторых алгорифмов, связанных с интегрированием

Глава 9 Конструктивные метрические пространства
§ 1. Конструктивные метрические пространства. Основные
определения, некоторые примеры. Пополнение конструктивных метрических пространств
§ 2. Согласованные множества. Алгорифмические операторы.
Теорема непрерывности (первая формулировка) . . .
§ 3. Теорема о выборе перечислимого покрытия. Усиленная форма теоремы непрерывности. Некоторые контрпримеры .
Комментарии:
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Разделы новостей
Образование [4]
лабы на Паскале [11]
Шпоры [10]
Учебники [19]
Лабы по физике [3]
Лабы по С++ [7]

Статистика

Яндекс.Метрика


Онлайн всего: 1
Гостей: 1
Пользователей: 0

Все пользователи

Яндекс цитирования Rambler's Top100 Каталог сайтов OpenLinks.RU Каталог сайтов iLinks.RU Каталог сайтов :: Развлекательный портал iTotal.RU Каталог сайтов Bi0 Каталог сайтов Всего.RU