Введение в математическую логику: конспект лекций

Main
Mathematics
Введение в математическую логику:...

Введение в математическую логику: конспект лекций

Лупанов О.Б.

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

წელი:

2007

გამომცემლობა:

МГУ

ენა:

russian

გვერდები:

192

ფაილი:

DJVU, 1.07 MB

IPFS:

,

russian, 2007

ონლაინ წაკითხვა

ჩატვირთვა (djvu, 1.07 MB)

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

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

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

Угольников А.Б. — Классы Поста

Поспелов Д. — Логические методы анализа и синтеза схем [Текст]

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

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

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

Угольников А.Б. — Классы Поста

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

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

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

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

Клини С.К.(Kleene S.C.) — Введение в метаматематику

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

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

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

Каверин С.В. — Лекции по математической логике и теории алгоритмов

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А. — Лекции по дискретной математике. Математическая логика

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

Чашкин А.В. — Лекции по дискретной математике

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. — Дискретная математика. Часть II. Математическая логика

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

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

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

Коллектив авторов — Вайнштейн, Юлия Владимировна. Математическая логика и теория алгоритмов

Яблонский С.В. — Введение в дискретную математику [Учеб. пособия для вузов по спец. ''Прикл. математика'']

Алексеев В.Б. — Дискретная математика

Яблонский С.В., Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики

Алексеев В.Б. — Дискретная математика. 2 семестр

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

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

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

Яблонский С.В. (ред.) — Математические вопросы кибернетики. Выпуск 04

Яблонский С.В. (ред.) — Математические вопросы кибернетики. Выпуск 06

საკვანძო ფრაზები

переменных

рассмотрим

называется

множ:ество

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

элементов

множ:ества

значений

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

значения

выполняется

существует

утверж:дение

равенство

содерж:ит

переменной

принимает

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

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

свободных

алфавите

тож:дественно

предикатов

тьюринга

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

множество