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

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

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

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

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Kategorije:

Mathematics - Logic

Godina:

2005

Jezik:

russian

Strane:

130

Fajl:

PDF, 943 KB

IPFS:

,

russian, 2005

Preuzeti (pdf, 943 KB)

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Najčešći pojmovi

множество

множества

множеств

определение

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

программы

формальной

существует

арифметики

программа

рассмотрим

символов

алгоритм

называется

математики

элементов

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

формальная

утверждение

следующим

индукции

программ

элементы

натуральных

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