Курс математической логики и теории вычислимости. Учебное...

Main
Курс математической логики и теории...

Курс математической логики и теории вычислимости. Учебное пособие

Герасимов А.С

0 / 0

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

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

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

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

సంవత్సరం:

2014

ముద్రణం:

4изд.

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

Лань

భాష:

russian

పేజీల సంఖ్య:

410

ISBN 10:

5811416660

ISBN 13:

9785811416660

ఫైల్:

PDF, 2.26 MB

IPFS:

,

russian, 2014

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

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

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

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

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

А.Н. Макоха, А.В. Шапошников, В.В. Бережной. — Математическая логика и теория алгоритмов.

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

Братчиков И.Л. — Конспект лекций «Математическая логика и теория алгоритмов»

Блатов И. А., Старожилова О. В. — Математическая логика и теория алгоритмов: Учебное пособие

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

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

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

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

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

Бояринцева Т.Е., Золотова Н.В., Исмагилов Р.С. — Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета

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

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

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

Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. — Дискретный анализ. Формальные системы и алгоритмы

Семичевская Н.П. — Дискретная математика (ИУС)

Набебин А.А., Кораблин Ю.П. — Математическая логика и теория алгоритмов

Фролов И.С. — Элементы математической логики

Маркин П.М. — Математическая логика

Волосевич А.А. — Теория алгоритмов

Замятин А.П. — Математическая логика и теория алгоритмов

Макоха А. Н., Шапошников А. В., Бережной В. В. — Математическая логика и теория алгоритмов

Блатов И. А. — Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов»

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

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

Блатов И. А. — Математическая логика и теория алгоритмов (240,00 руб.)

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

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

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

Макоха А.Н., Шапошников А.В., Бережной В.В. — Математическая логика и теория алгоритмов

Зюзьков В. М. — Математическое введение в декларативное программирование. Учебное пособие

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

Терехов Д.В., Куценко Д.А. — Математическая логика и теория алгоритмов. Уч.пособ

Волохович А.В. — Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач

Зюзысов В.М. — Математическое введение в декларативное программирование: Учебное пособие

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

множества

множество

исчисления

упражнение

существует

исчислении

предикатов

называется

определение

исчисление

дизъюнктов

тьюринга

алгоритм

секвенции

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

интерпретации

множеств

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

переменных

докажите

переменной

соответственно

вычислимости

качестве

программы

переменная

резолюций

определения

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