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

Main
Математическая логика и теория...

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

Судоплатов С.В., Овчинникова Е.В.

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

عام:

2004

الناشر:

НГТУ

اللغة:

russian

الصفحات:

225

ISBN 10:

5778204582

ISBN 13:

9785778204584

ملف:

DJVU, 7.53 MB

IPFS:

,

russian, 2004

إقرأ علي الإنترنت

تحميل (djvu, 7.53 MB)

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

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

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

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей

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

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

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Сакс Дж.Е. — Теория насыщенных моделей

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

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

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория моделей.

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

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

— Основы математической логики и теории алгоритмов

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

Михайлов А.Б., Швецкий М.В — Лекции по основам математической логики. Формальные системы первого порядка

Дудаков С.М — Основы теории моделей

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

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

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

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

Ю.Л. Ершов, Е.А. Палютин — Математическая логика

Пентус М. Р. — Введение в математическую логику

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

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

Новак В., Перфильева И., Мочкорж И. (Novak V., Perfilieva I., Mockor J.) — Математические принципы нечеткой логики

Слинин Я.А. (ред.) — Символическая логика

Зюзьков В. М. — Математическая логика и теория алгоритмов

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов

Непейвода Н.Н. — Прикладная логика

أكثر المصطلحات والعبارات المستخدمة