Browsing Genofond by Subject "Mathematics\\Logic"
Now showing items 21-40 of 275
-
Азбука математической логики
(Знание, 1967) -
Азбука математической логики
(Знание, 1967) -
Азбука математической логики
(Знание, 1967)Очевидно, что умение чётко разделять изучаемый объект на составные части и на связи между ними, умение так или иначе представлять сеть, схему связей между составными частями, умение выбирать лучший вариант схемы, находить ... -
Аксиома выбора и аксиома детерминированности
(Наука, 1984)В брошюре содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных ... -
Аксиома выбора и аксиома детерминированности
(, 1984) -
Аксиома выбора и аксиома детерминированности
(Наука, 1984) -
Аксиома выбора и аксиома детерминированности
(, 1984) -
Аксиоматические системы теории множеств
(Издательство иностранной литературы, 1963)Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов - крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить ... -
Аксиоматические системы теории множеств
(ИЛ, 1963)Hao Wang, McNaughton R., LES SYSTÈMES AXIOMATIQUES DE LA THÉORIE DES ENSEMBLES COLLECTION DE LOGIQUE MATHÉMATIQUE, SÉRIE A, IV Paris, Gauthier-Villars, 1953 Брошюра представляет собой развернутое изложение обзорного ... -
Алгебраические системы
(Наука, 1970)Автором этой книги является выдающийся советский математик академик Анатолий Иванович Мальцев. А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов ... -
Аристотелевская силлогистика с точки зрения современной формальной логики
(Издательство иностранной литературы, 1959)Ян Лукасевич (1878-1956) - польский логик, один из лидеров львовско-варшавской школы. Ему принадлежат основополагающие работы в области многозначной логики, а также ряд исследований по истории логики. Предлагаемая вниманию ... -
Булевы алгебры
(Мир, 1969)Книга выдающегося польского математика Р. Сикорского посвящена одному из важнейших разделов современной математики — теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки ... -
Введение в логику
(Наука, 1967) -
Введение в логику
(Наука, 1967)В данной книге кратко и доступно для начинающих изучение логики излагаются основные законы, правила, методы и термины традиционной логики. Поскольку в настоящее время в логике все более широко применяются математические ... -
Введение в логику и методологию дедуктивных наук
(Иностранная литература, 1948)А.Тарский (1902-1983) - польский логик и математикосновоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. ... -
Введение в логику и методологию дедуктивных наук
(Государственное издательство иностранной литературы, 1948) -
Введение в логику и методологию дедуктивных наук
(Иностранная литература, 1948)А.Тарский (1902-1983) - польский логик и математикосновоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. ... -
Введение в логику и методологию дедуктивных наук: Пер. с англ
(Иностранная литература, 1948)А.Тарский (1902-1983) - польский логик и математикосновоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. ... -
Введение в математическую логику
(ИЛ, 1960)Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. ...