Search
Now showing items 11-20 of 275
Лекции о вычислимых функциях
(Наука, 1960)
Теория множеств и континуум-гипотеза
(Мир, 1969)
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств - один из самых интересных и ярких результатов, полученных в математике за последнее десятилетне. Именно за этот ...
Математическая теория логического вывода
(Наука, 1967)
Введение в математическую логику
(Издательство Ленинградского университета, 1959)
Работа профессора А. И. Попова является первой советской книгой, в которой даётся общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные ...
Исследования по теории множеств и неклассическим логикам
(Наука, 1976)
Математическая логика в программировании. Сборник
(МИР, 1991)
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному ...
Основания интуиционистской математики с точки зрения теории рекурсивных функций
(Наука, 1978)
В последние годы в связи с ростом интереса к эффективной математике большое внимание привлекают метаматематические, теоретико-модельные и семантические аспекты интуиционизма. Предлагаемая книга, написанная выдающимся ...
Наука логики. в 3-х томах
(Мысль, 1970)
От издателя ''Наука логики'', или ''Большая логики'', созданная Гегелем в 1812-1816 гг., - важнейшее его произведение, в котором великий немецкий философ дает наиболее развернутое изложение своих диалектических идей. ...
Формальная логика
(ЛГУ, 1977)
В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике.
Учебник предназначен для ...
Логический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию
(Мир, 1990)
Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний ...