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

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

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

Крупский В.Н., Плиско В.Е.

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Година:

2013

Издателство:

Академия

Език:

russian

Страници:

418

ISBN 10:

5769595590

ISBN 13:

9785769595592

Файл:

DJVU, 3.37 MB

IPFS:

,

russian, 2013

Четете Онлайн

Изтегляне (djvu, 3.37 MB)

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

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

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

Сангалова М. Е. — Проектно-ориентированное обучение математической логике: Учебно-методическое пособие

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

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

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

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

Столяр А. А. — Элементарное введение в математическую логику. Пособие для учителей

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

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

Эдельман С.Л. — Математическая логика. Учебное пособие для институтов.

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

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

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

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

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

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

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

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

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

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

Лупанов О.Б. — Лекции по математической логике

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

Мощенский В.А. — Лекции по математической логике

Стенюшкина В.А. — Математическая логика и теория алгоритмов: Учебное пособие

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

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

Лихтарников Л.М., Сукачева Т.Г. — Математическая логика

Эдельман С. Л. — Математическая логика

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

Анкудинов Г.И., Анкудинов И.Г., Петухов О.А. — Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.

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

Бочаров В.А., Маркин В.И. — Введение в логику

Игошин В.И. — Математическая логика + CD-R

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

Най-често използвани термини

множество

множества

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

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

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

называется

существует

предикатов

тьюринга

определение

переменных

исчислении

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

сигнатуры

получается

означает

исчисления

алгоритма

множеств

алгоритм

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

определения

объектов

переменной

получено

значения

вычисления

содержит

алфавите