Auflistung Nach Schlagwort "Mathematics\\Logic"
Anzeige der Dokumente 41-60 von 275
-
Введение в математическую логику
(ЛГУ, 1959) -
Введение в математическую логику
(Издательство Ленинградского университета, 1959)Работа профессора А. И. Попова является первой советской книгой, в которой даётся общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные ... -
Введение в математическую логику
(Наука, 1976)В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление ... -
Введение в математическую логику
(МГУ, 1982)Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики ... -
Введение в математическую логику
(Наука, 1976)В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление ... -
Введение в математическую логику
(ИЛ, 1960)Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. ... -
Введение в общую теорию множеств и функций
(, 1948) -
Введение в теорию моделей и метаматематику алгебры
(Наука, 1967) -
Введение в теорию моделей и метаматематику алгебры
(Наука, 1967) -
Введение в теорию моделей и метаматематику алгебры
(Наука, 1967)Прошло уже довольно значительное время с момента выхода в свет "Метаматематики алгебры" - предыдущей монографии автора, изданной в этой же серии в 1951 г.. Основное внимание в этой работе было уделено логическому анализу ... -
Геометрические приложения алгебры логики
(Техника, 1967) -
Диаграммы Венна
(Наука, 1968)Книга посвящена графическому аппарату математической логики—диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных ... -
Диалектическая логика. Основные принципы и проблемы
(Политиздат, 1979)Аннотация издательства: Книга докторов философских наук, профессоров Ф. Кумпфа (Университет им. А. и В. Гумбольдтов, Берлин) и 3. Оруджева (МГУ) ? один из первых опытов целостного изложения основных принципов и проблем ... -
Доказательства и опровержения. Как доказываются теоремы
(Наука, 1967)Эта книга, посвященная проблемам математической логики, написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой георемы Эйлера о многогранниках и получающихся ... -
Доказательства и опровержения: как доказываются теоремы
(Наука, 1967)Эта книга, посвященная проблемам математической логики, написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающихся ... -
Доказательство и понимание
(Наукова думка, 1986) -
Доказательство и понимание
(Институт философии АН СССР, 1986) -
Доказуемое и недоказуемое
(, 1979) -
Жар холодных чисел и пафос бесстрастной логики
(, 1977)Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить ...