შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

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

Main
Mathematics - Logic
Математическая логика и основы теории...

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

Коротков М.А., Котов В.М., Степанов Е.О.

0 / 0

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

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

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

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

კატეგორია:

Mathematics - Logic

წელი:

2005

ენა:

russian

გვერდები:

130

ფაილი:

PDF, 943 KB

IPFS:

,

russian, 2005

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

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

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

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

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

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

Коротков М.А., Степанов Е.О. — Основы теории алгоритмов

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

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

Расёва Е., Сикорский Р. — Математика метаматематики

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

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

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

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

Гейтинг А. — Обзор исследований по основаниям математики

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

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

Беклемишев Л.Д. и др. — Обязательный спецкурс кафедры математической логики и теории алгоритмов.

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

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

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

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

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

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

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

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

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

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

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

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

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

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

Коротков М.А., Степанов Е.О. — Основы теории алгоритмов

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

Гайлит Е.В. — Арифметика второго порядка и автономная вычислимость

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

Ильиных А.П. — Математическая логика: Учебное пособие

Зюзысов В.М. — Теория алгоритмов: Учебное пособие

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

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

множество

множества

множеств

определение

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

программы

формальной

существует

арифметики

программа

рассмотрим

символов

алгоритм

называется

математики

элементов

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

формальная

утверждение

следующим

индукции

программ

элементы

натуральных

существование