НОВЫЕ ОБНОВЛЕНИЯ НА САЙТЕ !!!
ВНИМАНИЕ !!! ОБЪЯВЛЕНИЕ !!!
БОЛЕЕ 600 ОНЛАЙН ИГР НА ЛЮБОЙ ВКУС ! МНОЖЕСТВО КАТЕГОРИЙ ! ВОЗМОЖНОСТЬ СКАЧАТЬ ИЛИ ДОБАВИТЬ В ПОПУЛЯРНЫЕ СОЦИАЛЬНЫЕ СЕТИ ОДНОКЛАССНИКИ, ВКОНТАКТЕ, FACEBOOK...!
==>>> ПЕРЕЙТИ К ИГРАМ
Сегодня:
Календарь
Популярное
- Markus Homm, Nici Faerber - Basement Room (The Remixes) (2025)
- [udemy] Биохакинг: как правильно питаться, чтобы повысить продуктивность (2024) Видеокурс
- Анастасия Альба - Йога-тренировки (2022) CAMRip
- Лёха Беспалый - Нейросети и виртуальные блогеры 2.0 - Создание и продвижение для взрывного роста (2024) Видеокурс
- Стратегия [2025] (Александр Литвин) (2025) Мастер-класс
- [Neyrograph] AI кино (2025) Видеокурс
- Вадим Закиров - Продажа нейро-видео на стоках (Пакет Оптимальный) (2025) Видеокурс
- Эллина Дашук - Мастер-класс по созданию реалистичных фото в нейросети (НейроПрожарка 2) (2024) PCRec
- Windows 10 Pro Release Preview Build 19045.5552 Full (RUS/2025)
- Wallpapers Mix №1919
Сенсации
Наши партнеры
==>>> ПЕРЕЙТИ К ИГРАМ
Раздел: Книги
Скачать Дж. Барвайс. Справочная книга по математической логике. В 4-х частях
Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика".
Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие места в основном тексте издания.
Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Первая книга рассматривает основную связь между математическими утверждениями (аксиомами), с одной стороны, и математическими структурами (моделями), с другой
Вторая книга состоит из ряда глав и добавлений по теории множеств, написанных видными специалистами по теории множеств. Каждая глава - это самостоятельная статья.
1. Аксиомы теории множеств. 2. Об аксиоме выбора. 3. Комбинаторика. 4. Вынуждение. 5. Конструктивность. 6. Аксиома Мартина. 7. Результаты о непротиворечивости в топологии. 8. Дескриптивная теория множеств: проективные множества. Добавление. Проективная иерархия Н.Н. Лузина: современное состояние теории.
"Теория рекурсии" - так называется третий том "Справочной книги по математической логике" - составляет теоретическую основу современного учения об алгоритмах.
Первая вводная глава тома, написанная Эндертоном, знакомит с тем разделом теории алгоритмов, который теперь называется "классической" теорией рекурсии.
Две следующие главы, написанные Девисом и Рабином, занкомят с постановками различных алгоритмических проблем, возникающих в арифметике, алгебре, математической логике и других разделах математики.
Четвертая глава, написанная Симпсоном, знакомит с теорией (тьюринговых) степеней неразрешимости.
Пятая глава, написанная Шором, является содержательным обзором по так называемой a-рекурсии.
В шестой главе, написанной Кекрисом и Московакисом, излагается новый подход к изложению теории рекурсии по Клини для функционалов конечных типов.
Седьмая глава, написанная Ацелом, является введением в общую теорию индуктивных определений.
Четвертый том содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики.
Название: Справочная книга по математической логике. В 4-х частях
Автор: Барвайс Дж.
Жанр: Учебное пособие
Издательство: Наука
Год: 1982
Страниц: 392, 376, 360, 392
Язык: Русский
Формат: djvu
Размер: 17,82 Mb
Скачать Дж. Барвайс. Справочная книга по математической логике. В 4-х частях
{lop-1}{esp-block-1}
[related-news]
[/related-news]
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.Посетителям:
Здесь вы можете скачать бесплатно, без регистрации и смс программы, игры, windows, музыку, софт, Русскую рыбалку, взлом и секреты одноклассников и вконтакте, книги, Total Commander, Yasu, скрипты, скачать ключи к kaspersky и drweb, crack, photoshop, трейнеры и nocd для игр, и многое другое. Играть во флеш игры онлайн. На сайте представлено множество полезной информации.
Welcome to our site. Here you will not find the information on cars and motorcycles, currencies and quotations of securities, the real estate, insurance, the medical, political, financial, legal and other information which are not concerning a software and the multimedia data. For us you can find and download free of charge, without what or registrations - the newest films, fresh music in format MP3, flash games, breaking and the secrets of my classmates and VKontakte, novelties of games for PC and the consoles, interesting and beneficial programs and utilities as from eminent manufacturers of a software, and to anybody unknown programmers. You can always download under links from our site of Windows XP, Vista, Windows 7 Seven, Microsoft Office with the newest upgrades, Adobe Photoshop, 3D Studio Max, AutoCAD, Total Commander, Kaspersky Anti Virus, Kaspersky Internet Security, DrWEB and other known antiviruses, wall-paper for a desktop, e-books, scripts for web designers, trainers, Nocd, cracks and keygens to programs, serial keys and many other things.
Все материалы найдены на просторах сети интернет как свободно распространяемые и выложены исключительно в ознакомительных целях. Если вы являетесь законным правообладателем какого либо продукта и против его размещения на данном сайте, сообщите нам и мы немедленно удалим данный материал. Администрация сайта не несет ответственности за действия посетителей, нарушающих авторские права.
All materials are found on open spaces of a network the Internet as freely extended and laid out exclusively in the fact-finding purposes. If you are what lawful legal owner or a product and against its placing on the given site, inform us and we will immediately remove the given material. The administration of a site does not bear responsibility for actions of the visitors breaking copyrights.
Здесь вы можете скачать бесплатно, без регистрации и смс программы, игры, windows, музыку, софт, Русскую рыбалку, взлом и секреты одноклассников и вконтакте, книги, Total Commander, Yasu, скрипты, скачать ключи к kaspersky и drweb, crack, photoshop, трейнеры и nocd для игр, и многое другое. Играть во флеш игры онлайн. На сайте представлено множество полезной информации.
Welcome to our site. Here you will not find the information on cars and motorcycles, currencies and quotations of securities, the real estate, insurance, the medical, political, financial, legal and other information which are not concerning a software and the multimedia data. For us you can find and download free of charge, without what or registrations - the newest films, fresh music in format MP3, flash games, breaking and the secrets of my classmates and VKontakte, novelties of games for PC and the consoles, interesting and beneficial programs and utilities as from eminent manufacturers of a software, and to anybody unknown programmers. You can always download under links from our site of Windows XP, Vista, Windows 7 Seven, Microsoft Office with the newest upgrades, Adobe Photoshop, 3D Studio Max, AutoCAD, Total Commander, Kaspersky Anti Virus, Kaspersky Internet Security, DrWEB and other known antiviruses, wall-paper for a desktop, e-books, scripts for web designers, trainers, Nocd, cracks and keygens to programs, serial keys and many other things.
Все материалы найдены на просторах сети интернет как свободно распространяемые и выложены исключительно в ознакомительных целях. Если вы являетесь законным правообладателем какого либо продукта и против его размещения на данном сайте, сообщите нам и мы немедленно удалим данный материал. Администрация сайта не несет ответственности за действия посетителей, нарушающих авторские права.
All materials are found on open spaces of a network the Internet as freely extended and laid out exclusively in the fact-finding purposes. If you are what lawful legal owner or a product and against its placing on the given site, inform us and we will immediately remove the given material. The administration of a site does not bear responsibility for actions of the visitors breaking copyrights.