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

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

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

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

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Godina:

2014

Izdanje:

4изд.

Izdavač:

Лань

Jezik:

russian

Strane:

410

ISBN 10:

5811416660

ISBN 13:

9785811416660

Fajl:

PDF, 2.26 MB

IPFS:

,

russian, 2014

Čitati Online

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Najčešći pojmovi

множества

множество

исчисления

упражнение

существует

исчислении

предикатов

называется

определение

исчисление

дизъюнктов

тьюринга

алгоритм

секвенции

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

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

множеств

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

переменных

докажите

переменной

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

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

качестве

программы

переменная

резолюций

определения

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