Проблемы кибернетики, вып.39

Main
Computers - Cybernetics
Проблемы кибернетики, вып.39

Проблемы кибернетики, вып.39

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Cybernetics

年:

1982

出版社:

ФМЛ

语言:

russian

页:

265

系列:

Проблемы кибернетики, вып.39

文件:

DJVU, 4.12 MB

IPFS:

,

russian, 1982

下载 (djvu, 4.12 MB)

正在转换

转换为失败

您可能会感兴趣

Лупанов О.Б. (ред.) — Математические вопросы кибернетики. Выпуск 13

Лупанов О.Б. (ред.) — Математические вопросы кибернетики. Выпуск 11

Лупанов О.Б. (ред.) — Математические вопросы кибернетики. Выпуск 12

Лупанов О.Б. (ред.) — Математические вопросы кибернетики. Выпуск 14

Манин Ю.И. — Доказуемое и недоказуемое

— Проблемы кибернетики, вып.30

— Проблемы кибернетики, вып.41

Дехтярь М.И., Дудаков С.М., Карлов Б.Н. — Лекции по дискретной математике

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

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

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Бочвар Д.А., Шрейдер Ю.А. (ред) — Исследования по математической лингвистике, математической логике и информационным языкам

Миронов А.М. — Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Таванец П.В. (ред.) — Исследование логических систем [сборник статей]

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Алексеев В. Е., Журавлёв Ю. И., Кудрявцев В. Б., Марков А. А., Сапоженко А. А. и др. (ред.) — Комбинаторно-алгебраические методы в прикладной математике

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

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

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

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Манин Ю.И. — Доказуемое и недоказуемое

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. IV. Теория доказательств и конструктивная математика

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

Яблонский С.В. (ред.) — Проблемы кибернетики. Выпуск 41

Чагров А.В — Моделирование вычислительных процессов средствами пропозициональных логик

Комбинаторно-алгебраические методы в прикладной математике — Межвузовский сборник

Бочвар Д.А., Шрейдер Ю.А. — Исследования по математической лингвистике, математической логике и информационным языкам

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

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

— Сборник. Исследование логических систем.

Лупанов О.Б. (ред.) — Кибернетический сборник. Новая серия. Выпуск 16

С. С. Лавров — Програмирование. Математическая основа, средства, теория

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

Такеути Г. — Теория доказательств

Такеути Г. (Takeuti G.) — Теория судебных доказательств в советском праве. Издание третье дополненное.

Лавров С.С. — Программирование. Математические основы, средства, теория

关键词

множество

выражение

множества

выражения

следовательно

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

ситуации

исчислении

переменных

гипотезы

диаграммы

рассмотрим

называется

квазиветвь

обозначим

получаем

применения

эквивалентна

гипотеза

содержит

элементов

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