모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

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

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

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

Александр Сергеевич Герасимов

0 / 3.0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики

권:

1

년:

2011

판:

3

출판사:

Лема

언어:

russian

페이지:

284

ISBN 10:

5987092922

ISBN 13:

9785987092927

파일:

PDF, 2.39 MB

IPFS:

,

russian, 2011

온라인으로 읽기

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

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

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

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

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

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

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

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

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

Косовский Н. К. — Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. — Логический подход к искусственному интеллекту: от классической логики к логическому программированию

주로 사용되는 용어

множество

множества

исчисления

упражнение

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

существует

называется

исчислении

определение

тьюринга

математической

алгоритм

дизъюнктов

секвенции

предикатов

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

герасимов

исчисление

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

переменных

множеств

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

переменной

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

докажите

качестве

переменная

программы

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