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

>Ф А Й Л Ы

>С Т А Т Ь И

>Р Е Ф Е Р А Т Ы

>Ф О Р У М

>О Т З Ы В Ы

>Т Е С Т Ы

>F l a s h И Г Р Ы

>Ф О Т О Ш О П


Советуем...
TurboPascal_7.1 (рус)
TurboPascal_7.1 поддерживающий русский язык и с русской справкой.

NVU 1.0 PR ruRU win32 installer full

NVU это Open Source проект Linspire по созданию визуального (WYSIWYG) HTML редактора. Как и для Firefox и Thunderbird основой для создания NVU послужила часть кода выделенного из Mozilla - код Mozilla Composer. К созданию NVU был привлечен главный архитектор Mozilla Composer - Дэниел Глазман. На сегодняшний день NVU имеет уже достаточно много возможностей отсутствующих в оригинальном Mozilla Composer. Это Менеджер сайтов, позволяющий редактировать страницы на удаленном сервере, встроенный Редактор CSS c предварительным просмотром стилей, цветная подсветка синтаксиса в режиме редактирования кода, проверка орфографии и многое другое. Разработчики обещают поднять его функциональность до уровня FrontPage и Dreamweaver.


Шпора Все формулы по физике
На одном листе А4 размещены почти все основные формулы по физике. Если лень самому делать шпоры, то качайте этот файл.

Активатор windows 8 и windows 8.1 скачать (+ мануал по установке)
Наконец-то вышел полностью рабочий активатор windows 8. Вы можете свободно скачать его с нашего сайта абсолютно бесплатно и без регистрации. Кроме того, в архиве с активатором находится полный мануал по его использованию!


Опрос
Вы учитесь в СУЗе/ВУЗе
Всего ответов: 244

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


код кнопки:


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


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

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

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

Дата добавления: 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