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

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

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

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

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

సంవత్సరం:

2004

ప్రచురణకర్త:

НГТУ

భాష:

russian

పేజీల సంఖ్య:

225

ISBN 10:

5778204582

ISBN 13:

9785778204584

ఫైల్:

DJVU, 7.53 MB

IPFS:

,

russian, 2004

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

కీలక పదబంధాలు