Элементы математической логики: учебное пособие

Main
Элементы математической логики: учебное...

Элементы математической логики: учебное пособие

А. В. Казанцев, Казанский федеральный ун-т

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

年:

2013

出版商:

Казанский ун-т

語言:

russian

頁數:

147

ISBN 10:

5000191153

ISBN 13:

9785000191156

文件:

PDF, 2.13 MB

IPFS:

,

russian, 2013

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

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

Фейс Р. — Модальная логика

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

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

Ганичева А. В. — Теория логического вывода: Учебное пособие

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

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

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

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

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

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

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

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

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

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

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

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

Гамова А.Н. — Формальная логика

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

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

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

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

Зыков А.Г., Поляков В.И., Скорубский В.И — Математическая логика.

Бродский И.Н. — Элементарное введение в символическую логику

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

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

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

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

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

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

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

Фейс Р. — Модальная логика

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

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

最常見的術語

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

удаление

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

предикатов

введение

дедукции

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

значений

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

переменная

переменной

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

переменных

выводимости

допущений

выводимость

исчисления

допущение

получается

вхождения

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

принимает

определение

свободна

истинности

свойство

качестве

кванторов

означает

свободно

введения

значения

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

свойства