Главная Регистрация Авторам Контакты RSS 2.0
   
 
 
Навигация
Главная Правила оформления Программы для чтения Помощь пользователю Обратная связь RSS новости
Ищем вместе Читать на сайте Популярные авторы *** Популярные серии По годам (NEW)
  • АУДИОКНИГА
  •  Audiobooks / e-Books  Для iPhone  Фантастика  Фэнтези  Детектив  Женский роман  Эротика  Проза  Приключения  Исторические  Психология  Непознанное  Образование  Бизнес  Детям  Юмор  Разное
  • КНИГИ
  • ДЕТСКАЯ
  •  Отечественная  Зарубежная
  • ДЕТЕКТИВ
  •  Отечественный  Зарубежный
  • ИСТОРИЧЕСКИЙ РОМАН
  •  Отечественный  Зарубежный
  • ЛЮБОВНЫЙ РОМАН
  •  Отечественный  Зарубежный
  • ПРИКЛЮЧЕНИЯ
  •  Отечественная  Зарубежная
  • ПРОЗА
  •  Отечественная  Зарубежная
  • ТРИЛЛЕР
  •  Отечественный  Зарубежный
  • ФАНТАСТИКА
  •  Отечественная  Зарубежная
  • ФЕНТЕЗИ
  •  Отечественная  Зарубежная
  • ЮМОР
  •  Отечественный  Зарубежный
  • ДРУГАЯ ЛИТЕРАТУРА
  •  Учебники/ Руководства  Бизнес / Менеджмент  Любовь / Дружба/ Секс  Человек / Психология  Здоровье/ Спорт  Дом / Семья  Сад / Огород  Эзотерика  Кулинария  Рукоделие  История  Научно-документальные  Научно-технические  Другие
  • ЖУРНАЛЫ
  •  Автомобильные  Бизнес  Военные  Детские  Здоровье/ Красота/ Мода  Компьютерные  Кулинария  Моделирование  Научно-популярные  Ремонт / Дизайн  Рукоделие  Садоводство  Технические  Фото /Графика  Разные
  • ВИДЕОУРОКИ
  •  Компьютерные видеокурсы  Строительство / Ремонт  Домашний очаг / Хобби  Здоровье / Спорт  Обучение детей  Другое видео
     
    Подписка RSS

    RSSАУДИОКНИГА

    RSSКНИГИ

    RSSЖУРНАЛЫ

     
     
    А   Б   В   Г   Д   Е   Ж   З   И   К   Л   М   Н   О   П   Р   С   Т   У   Ф   Х   Ц   Ч   Ш   Щ   Э   Ю   Я  
    КНИГИ » ДРУГАЯ ЛИТЕРАТУРА » Учебники/ Руководства

    Скачать книгу Эллиот Мендельсон - Введение в математическую логику онлайн

    08-12-2015 просмотров: 126

        

    Эллиот Мендельсон - Введение в математическую логику Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств.
    Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.

    Название: Введение в математическую логику
    Автор: Эллиот Мендельсон
    Год: 1976
    Страниц: 320
    Формат: PDF
    Размер: 21,1 Мб
    Качество: Отличное
    Язык: Русский

    Содержание книги "Введение в математическую логику":

    От редактора перевода
    Предисловие
    Введение
    Глава 1. Исчисление высказываний
    § 1. Пропозициональные связки. Истинностные таблицы
    § 2. Тавтологии
    § 3. Полные системы связок
    § 4. Система аксиом для исчисления высказываний
    § 5. Независимость. Многозначные логики
    § 6. Другие аксиоматизации
    Глава 2. Теории первого порядка
    § 1. Кванторы
    § 2. Интерпретации. Выполнимость и истинность. Модели
    § 3. Теории первого порядка
    § 4. Свойства теорий первого порядка
    § 5. Теоремы о полноте
    § 6. Некоторые дополнительные метатеоремы
    § 7. Правило С
    § 8. Теории первого порядка с равенством
    § 9. Введение новых функциональных букв и предметных констант
    § 10. Предваренные нормальные формы
    § 11. Изоморфизм интерпретаций. Категоричность теорий
    § 12. Обобщенные теории первого порядка. Полнота и разреши­мость
    Глава 3. Формальная арифметика
    § 1. Система аксиом
    § 2. Арифметические функции и отношения
    § 3. Примитивно рекурсивные и рекурсивные функции
    § 4. Арифметизация. Гёделевы номера
    § 5. Теорема Гёделя для теории S
    § 6. Рекурсивная неразрешимость. Теорема Тарского. Система
    Робинсона
    Глава 4. Аксиоматическая теория множеств
    § 1. Система аксиом
    § 2. Порядковые числа
    § 3. Равномощность. Конечные и счетные множества
    § 4. Теорема Хартогса. Начальные порядковые числа. Арифметика порядковых чисел
    § 5. Аксиома выбора. Аксиома ограничения
    Глава 5. Эффективная вычислимость
    § 1. Нормальные алгорифмы Маркова
    § 2. Алгорифмы Тьюринга
    § 3. Вычислимость по Эрбрану-Гёделю. Рекурсивно перечислимые множества
    § 4. Неразрешимые проблемы
    Дополнение. Доказательство непротиворечивости формальной арифметики
    Литература
    Алфавитный указатель
    Символы и обозначения

    Скачать бесплатно Эллиот Мендельсон - Введение в математическую логику







    Не нашли нужную книгу? Воспользуйтесь поиском (сверху, правее).
    Просмотрите, вдруг Вы найдете похожую на Эллиот Мендельсон - Введение в математическую логику,
    или то, что так давно и долго искали:

    Александр Леоненков. Нечеткое моделирование в среде MATLAB и fuzzyTECH

    В книге рассматриваются основы нечеткого моделирования - нового направления применения наукоемких технологий для решения практических задач....

    Баврин И. И., Матросов В. Л. - Высшая математика

    В учебнике излагаются аналитическая геометрия, математический анализ и теория вероятностей. Теоретический материал сопровождается большим числом...

    Виноградов И. М. - Элементы высшей математики. (Аналитическая геометрия. Дифференциальное исчисление. Основы теории чисел)

    Виноградов И. М. - Элементы высшей математики. (Аналитическая геометрия. Дифференциальное исчисление. Основы теории чисел) Элементы высшей...

    Петровский И.Г. Лекции об уравнениях с частными производными

    Петровский И.Г. - Лекции об уравнениях с частными производными Автор этой книги является основоположником современной теории дифференциальных...

    Электронная библиотека. Теория чисел и арифметика

    Электронная библиотека. Теория чисел и арифметика Теория чисел, раздел чистой математики, занимающийся изучением целых чисел 0, ±1, ±2,... и...



    Уважаемые посетители! Если Вам не удалось скачать книгу Эллиот Мендельсон - Введение в математическую логику по причине нерабочих ссылок, просьба сообщить об этом нам. Стоит лишь указать автора и название произведения, и в самое кратчайшее время ссылки будут восстановлены.

    Понравилось у нас? Не забудьте занести нашу библиотеку в закладки, поделиться ссылкой понравившегося издания с другом
    или оставить ссылку на наш портал в блоге, на форуме. Самые последние новинки книжного рынка будут ждать Вас!
    Заходите к нам почаще.



     


       Комментарии (0)   Напечатать

    Отзывы о книге «Эллиот Мендельсон - Введение в математическую логику»:

     
    Добавление комментария
    Name:
    E-Mail:
    Полужирный Наклонный текст Подчеркнутый текст Зачеркнутый текст | Выравнивание по левому краю По центру Выравнивание по правому краю | Вставка смайликов Выбор цвета | Скрытый текст Вставка цитаты Преобразовать выбранный текст из транслитерации в кириллицу Вставка спойлера

    Code:
    Включите эту картинку для отображения кода безопасности
    обновить, если не виден код
    Enter code:

     
     
     
    Авторизация
    Логин:
    Пароль:
     
     
    Подписка о новинках на E-mail
     
    Подпишись
     
    Самые популярные

     
    Наш опрос
    Какой жанр литературы Вы предпочитаете?

    АУДИОКНИГА
    ДЕТСКАЯ
    ДЕТЕКТИВ
    ИСТОРИЧЕСКИЙ РОМАН
    ЖЕНСКИЙ РОМАН
    ПРИКЛЮЧЕНИЯ
    ПСИХОЛОГИЯ
    ПРОЗА
    ТРИЛЛЕР
    ФАНТАСТИКА
    ЮМОР
    БИЗНЕС
    ДОМ И СЕМЬЯ
    ПОЗНАВАТЕЛЬНАЯ ЛИТЕРАТУРА
    ЖУРНАЛЫ
    ЧИТАТЬ КНИГУ
     
    Статистика