Электронная библиотека

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






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

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

Математическая логика и ее применения

Наука и познание >> Математика





Разместил: ra0lhs

26-03-2013, 08:18

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





Математическая логика и ее применения


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

Название: Математическая логика и ее применения
Авторы: Нагел Э., Саппс П., Тарский А.
Издательство: Мир
Год издания: 1965
Формат: pdf
Размер: 7.65 Mб
Страниц: 341










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

Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов
В пособии излагаются основы теории графов и алгоритмов на графах. Книга является продолжением курса дискретной математики: «Часть I. Комбинаторика» и «Часть II. Математическая логика». Теория графов является частью науки дискретной математики.

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

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

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

Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Содержание: математическая логика алгебра и алгебраическая теория чисел проблемы теории чисел теория вероятностей

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

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

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 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

Книги




Союз образовательных сайтов