募捐 9月15日2024 – 10月1日2024 关于筹款

Лекции по основам математической логики. Формальные системы...

Main
Mathematics - Logic
Лекции по основам математической...

Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В.

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

Пособие предназначено для поддержки курса "Математическая логика и теория алгоритмов". Содержит лекционный материал по разделу "Формальные системы первого порядка". Для студентов математических факультетов педагогических вузов.

种类:

Mathematics - Logic

年:

1998

出版社:

РГПУ

语言:

russian

页:

173

文件:

DJVU, 2.38 MB

IPFS:

,

russian, 1998

线上阅读

正在转换

转换为失败

您可能会感兴趣

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

Чупахин И.Я., Бродский И.Н. (ред.) — Формальная логика

Чёрч А. — Введение в математическую логику

Линдон Р. — Заметки по логике

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

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

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

Троякова Г. А., Монгуш А. С. — Математическая логика: Задачник-практикум для студентов физико-математического факультета

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

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

Шанин Н.А. — О некоторых логических проблемах арифметики

Мендельсон Эллиот — Введение в математическую логику

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

Мендельсон Эллиот — Введение в математическую логику

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

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

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Мендельсон Э. (Mendelson E.) — Введение в математическую логику

Смирнов В.А. — Формальный вывод и логические исчисления

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

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

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

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

Леонов В.Е. и др. — Логика и теория аргументации

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

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

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

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

Корнеева Н. Н. (Наталья Николаевна) — Математическая логика: конспект лекций

Серебрянников О.Ф. — Эвристические принципы и логические исчисления

Серебрянников О.Ф. — Эвристические принципы и логические исчисления

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

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

Ю.Л. Ершов, Е.А. Палютин — Математическая логика

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

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

关键词

определение

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

предложение

исчисления

называется

множества

введение

множество

исчисление

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

переменная

переменной

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

называть

символов

исчислении

предложения

удаление

переменных

определения

сигнатуры

являются

вхождения

предметная

секвенции

секвенций

вхождений

вхождение