Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Множества. Логика. Аксиоматические теории

Main
Mathematics - Logic
Множества. Логика. Аксиоматические...

Множества. Логика. Аксиоматические теории

Столл Р.Р.

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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

Thể loại:

Mathematics - Logic

Năm:

1968

Ngôn ngữ:

russian

Trang:

117

File:

DJVU, 5.92 MB

IPFS:

,

russian, 1968

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Линдон Р. — Заметки по логике

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

Новиков П.С. — Элементы математической логики

Расёва Е., Сикорский Р. — Математика метаматематики

Троякова Г. А., Монгуш А. С. — Математическая логика: Задачник-практикум для студентов физико-математического факультета

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

Пухначев Ю.В., Попов Ю.П. — Математика без формул. Выпуск 3

Сангалова М. Е. — Проектно-ориентированное обучение математической логике: Учебно-методическое пособие

Гладкий А.В. — Математическая логика

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Глухов М.М. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

Столяр А. А. — Логическое введение в математику

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Клини С.К.(Kleene S.C.) — Введение в метаматематику

Эдельман С.Л. — Математическая логика. Учебное пособие для институтов.

Клини С.К.(Kleene S.C.) — Математическая логика

Глухов М.М., Шишков А.Б. — Математическая логика. Дискретные функции. Теория алгоритмов

Мунасыпов Н.А. — Учебное пособие по Дискретной математике

Зюзьков В.М., Шелупанов А.А. — Математическая логика и теория алгоритмов

Романович В.А. (сост.) — Введение в теорию множеств и математическую логику

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

Пензов Ю.Е. — Элементы математической логики и теории множеств

Плиско В.Е. — Математическая логика. Курс лекций

Слупецкий Е., Борковский Л. — Элементы математической логики и теория множеств

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика.

Столл Р.Р. (Stoll R.R.) — Множества. Логика. Аксиоматические теории

Егоров И.П. — О математических структурах

Лихтарников Л.М., Сукачева Т.Г. — Математическая логика

Эдельман С. Л. — Математическая логика

Бочвар Д.А. (ред.) — Исследования по формализованным языкам и неклассическим логикам

Коробков С.С. — Элементы математической логики и теории множеств: Учебное пособие

Từ khóa thường sử dụng nhất

множества

множество

множеств

отношение

отношения

высказываний

качестве

доказать

доказательство

эквивалентности

предикатов

элементов

исчисление

определения

следовательно

существует

исчисления

частично

значения

значений

являются

доказательства

некоторого

читателю

высказывание

определение

упражнения

высказывания

некоторое

показать

элементы

элемента

операции

следующим