VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






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

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей

Наука и познание >> Естественные науки





Разместил: Почемучка

5-11-2017, 18:02

Просмотров: 170





 Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей

Небольшая монография, посвященная теорий классов моделей — области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Монография содержит обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии н теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.
Книга будет полезна не только специалистам, но и тем, кто хочет начать работать в этом плодотворно развивающемся направлении математической логики или хотя бы получить первоначальное представление о нем.

Название: Теория непрерывных моделей
Автор: Кейслер Г.Дж., Чень-Чунь Ч.
Издательство: М., Мир
Год: 1971
Формат: PDF
Качество: Отсканированные страницы
Страниц: 184
Размер: 18.4 MB
Язык: Русский



Скачать Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей [1971, PDF]









Похожие публикации

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

Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств»,

Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление

Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.) Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Часть 1. Начала теории множеств Часть 2. Языки и исчисления Часть 3. Вычислимые функции

Математическая логика и ее применения Математическая логика и ее применения
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник

Теория конечных непрерывных групп и дифференциальная геометрия, изложенные методом подвижного репера Теория конечных непрерывных групп и дифференциальная геометрия, изложенные методом подвижного репера
В настоящем издании дается перевод двух работ Э.Картана. Первая работа «Метод подвижного репера, теория непрерывных групп и обобщенные пространства» содержит наиболее доступное изложение сущности метода подвижного репера и теории конечных

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Статистический анализ временных рядов Статистический анализ временных рядов
Монография известного американского специалиста по математической статистике содержит обстоятельное изложение теории статистических выводов для различных вероятностных моделей. Излагаются методы представления временных рядов, оценивания параметров

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги