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

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 руб.)

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

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

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

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

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

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

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

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

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

คำที่ถูกค้นหาบ่อยที่สุด

множества

множество

исчисления

упражнение

существует

исчислении

предикатов

называется

определение

исчисление

дизъюнктов

тьюринга

алгоритм

секвенции

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

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

множеств

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

переменных

докажите

переменной

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

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

качестве

программы

переменная

резолюций

определения

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