Задачи по теории множеств, математической логике и теории...

Main
Mathematics - Logic
Задачи по теории множеств,...

Задачи по теории множеств, математической логике и теории алгоритмов

Лавров И.А., Максимова Л.Л.

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Mathematics - Logic

Tahun:

1995

Edisi:

3-е

Penerbit:

Физматлит

Bahasa:

russian

Halaman:

246

ISBN 10:

502014844X

ISBN 13:

9785020148444

File:

DJVU, 3.11 MB

IPFS:

,

russian, 1995

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Хаусдорф Ф. — Теория множеств

Хенл Дж. — Введение в теорию множеств

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

Yuri Ivanovich Manin, Юрий Иванович Манин — Вычислимое и невычислимое

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

Судоплатов С.В., Овчинникова Е. В. — Элементы дискретной математики

Мальцев А. И. — Алгоритмы и рекурсивные функции

Мальцев А.И. — Алгоритмы и рекурсивные функции

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

Дехтярь М. И., Дудаков С. М., Карлов Б. Н. — Сборник задач по множествам, булевым функциям и математической логике: Учебное пособие

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

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

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

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

Ершов Ю. Л. — Теория нумераций

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

Беклемишев Л.Д. и др. — Обязательный спецкурс кафедры математической логики и теории алгоритмов.

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

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

Мендельсон Э. (Mendelson E.) — Введение в математическую логику

Балюкевич Э.Л., Ковалева Л.Ф, Романников А.Н. — Дискретная математика Учебное пособие

Просолупов Е.В. — Конспект курса: Основы дискретной математики

Подзоров С.Ю. — Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу

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

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

Успенский В.А. — Лекции о вычислимых функциях

Ершов Ю.Л — Теория нумераций

Успенский В.А. — Лекции о вычислимых функциях

Мальцев А.И. — Избранные труды, в 2-х томах

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

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

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

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

Гончаров С.С. — Лекции по Математической логике, часть 2

Подзоров С.Ю. — Теория алгоритмов. Полный конспект лекций по курсу

Ершов Ю.Л. — Определимость и вычислимость

С. В. Судоплатов, Е. В. Овчинникова — Элементы дискретной математики. Учебник

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

Istilah kunci

доказать

множество

существует

множества

называется

множеств

частично

сигнатуры

примитивно

рекурсивно

элементов

переменных

некоторого

следующие

математическая

содержит

выводима

тождественно

множестве

построить

указания

использовать

соответствие

конечное