НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Программиование <<

Верещагин Н.К. Лекции по математической логике и теории алгоритмов Часть 1

Скачать книгу здесь
Автор: Верещагин Н.К.
Название: Лекции по математической логике и теории алгоритмов Часть 1
Год издания: 1999
УДК: 519.7
Число страниц: 124
Содержание книги:
1.1. Множества
1.2. Число элементов
1.3. Равномощные множества
1.4. Счётные множества
1.5. Теорема Кантора-Бернштейна
1.6. Теорема Кантора
1.7. Функции
1.8. Операции над мощностями
2.1. Эквивалентность и порядок
2.2. Изоморфизмы
2.3. Фундированные множества
2.4. Вполне упорядоченные множества
2.5. Трансфинитная рекурсия
2.6. Теорема Цермело
2.8. Лемма Цорна и её применения
2.9. Свойства операции над мощностями
2.10. Ординалы
2.11. Арифметика ординалов
2.12. Индуктивные определения и степени
2.13. Приложения ординалов
Глоссарий:
а б в г д е ж з и к л м н о п р с т у ф ч ш э
Смотреть страницы:
2 3 15 26 37 48 59 70 81 92 103 114 123 124
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Лекции по математической логике и теории алгоритмов Часть 2
Математика >> Вычислительная математика >> Программиование
Математическая логика и дискретная математика
Математика >> Анализ, высшая математика >> Прочее
Теория моделей
Математика >> Вычислительная математика >> Математическое моделирование

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru