Математическая логика.

Main
Математическая логика.

Математическая логика.

Миронов А.М.

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

ปี:

2005

สำนักพิมพ์:

МГУ

ภาษา:

russian

ไฟล์:

PDF, 933 KB

IPFS:

,

russian, 2005

อ่านออนไลน์

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

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

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

Турлакова, С. У. (авт.) — Математическая логика

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

Мальцев А.И. — Алгебраические системы

Дехтярь М. И., Дудаков С. М., Карлов Б. Н. — Сборник задач по множествам, булевым функциям и математической логике: Учебное пособие

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

Шенфилд Д. — Математическая логика

Миронов А.М. — Теория процессов

Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем

Миронов А.М. — Теория процессов.

Миронов А.М. — Верификация программ методом model checking

Миронов А.М. — Вероятностный алгоритм проверки чисел на простоту.

Миронов А.М. — Теория процессов.

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

Бояринцева Т.Е., Золотова Н.В., Исмагилов Р.С. — Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета

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

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

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

Мунасыпов Н.А. — Учебное пособие по Дискретной математике

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

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

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

Романович В.А. (сост.) — Введение в теорию множеств и математическую логику

Фрейденталь Х. (Freudenthal H.) — Язык логики

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

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

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

Такеути Г. — Теория доказательств

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

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

Мощенский В.А. — Лекции по математической логике

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

Балюкевич Э.Л., Ковалева Л.Ф., Романников А.Н. — Дискретная математика. Московский международный институт

Рояк М.Э., Рояк С.Х. — Математическая логика

คำที่ถูกค้นหาบ่อยที่สุด

множество

множества

доказать

называется

существует

символом

следующим

равенство

переменных

являются

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

неравенство

соотношение

отношение

содержит

множеств

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

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

знакосочетание

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

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

некоторое

обозначает

нетрудно

следующие

подмножества

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

тавтологией

дизъюнкт

дизъюнктов

выполнима

некоторая

обозначается

резолюций

значения

множестве

совокупность