Browsing by Subject "Mathematics\\Logic"
Now showing items 61-80 of 275
-
Задачи по теории множеств, математической логике и теории алгоритмов
(Физматлит, 1984)В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: ... -
Заметки по логике
(Мир, 1968)В наши дни широкого использования математических методов исследования во многих областях науки и искусства современная логика привлекает всё большее внимание исследователей. Однако при этом на первый план зачастую выходит ... -
Заметки по логике
(Мир, 1968)В наши дни широкого использования математических методов исследования во многих областях науки и искусства современная логика привлекает все большее внимание исследователей Однако при этом на первый план зачастую выходит ... -
Значение и необходимость. Исследование по семантике и модальной логике
(Издательство иностранной литературы, 1959)Труд Р. Карнапа «Значение и необходимость» является заключительным томом его «Исследований по семантике», который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического ... -
Значение и необходимость. Исследование по семантике и модальной логике
(Издательство иностранной литературы, 1959) -
Интуиционизм
(Мир, 1965)Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма ... -
Интуиционизм
(Мир, 1965) -
Интуиционизм
(Мир, 1965)От издательства:Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения ... -
Исследование логических систем [сборник статей]
(Наука, 1970)В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем ... -
Исследования по неклассическим логикам и теории множеств
(Наука, 1979)Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования ... -
Исследования по неклассическим логикам и формальным системам
(Наука, 1983)Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования ... -
Исследования по теории множеств и неклассическим логикам
(Наука, 1976) -
Исследования по теории множеств и неклассическим логикам
(Наука, 1976)Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования ... -
Канторовская теория множеств
(Изд. МГУ, 1988)В пособии, написанном на основе лекций, читаемых автором на механико-математическом факультете МГУ, достаточно полно и доступно для начинающих изложена канторовская теория множеств. Цель книги - научить практической работе ... -
Кибернетический сборник. Старая серия. Выпуск 8
(Мир, 1964)Сборник работ зарубежных авторов по различным вопросам теории управляющих систем - восьмой в выпускаемой с 1960 г. Издательством иностранной литературы серии сборников по кибернетике. В первом разделе помещены статьи по ... -
Конструктивная математическая логика с точки зрения классической
(Наука, 1977) -
Конструктивная математическая логика с точки зрения классической
(Наука, 1977)Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет ... -
Конструктивная математическая логика с точки зрения классической
(Наука, 1977)Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет ... -
Конструктивные процессы в математике
(Наука, 1975)