Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Основы формальных логических языков

Main
Mathematics - Logic
Основы формальных логических языков

Основы формальных логических языков

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

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Categorías:

Mathematics - Logic

Año:

2003

Editorial:

SPbGITMO(TU)

Idioma:

russian

Páginas:

85

ISBN 10:

5757701226

ISBN 13:

9785757701226

Archivo:

PDF, 798 KB

IPFS:

,

russian, 2003

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

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

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

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

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

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

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

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

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

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

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

Нагель Э. — Теорема Гёделя

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Крайзель Г. — Исследования по теории доказательств

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

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

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

Крайзель Г. (Kreisel G.) — Исследования по теории доказательств. Сборник статей

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

Гончаров С.С. — Лекции по Математической логике, часть 2

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

Términos más frecuentes

множество

множества

множеств

арифметики

формальной

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

символов

элементов

определение

индукции

формальная

математики

натуральных

рассмотрим

френкеля

утверждение

переменных

существует

элементы

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

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

свойство

называется

переменной