Now showing items 21-40 of 275

    • Азбука математической логики 

      Мельников Г.П. (Знание, 1967)
    • Азбука математической логики 

      Мельников Г.П. (Знание, 1967)
    • Азбука математической логики 

      Мельников Г.П. (Знание, 1967)
      Очевидно, что умение чётко разделять изучаемый объект на составные части и на связи между ними, умение так или иначе представлять сеть, схему связей между составными частями, умение выбирать лучший вариант схемы, находить ...
    • Аксиома выбора и аксиома детерминированности 

      Кановей В.Г. (Наука, 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)
      Автором этой книги является выдающийся советский математик академик Анатолий Иванович Мальцев. А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов ...
    • Аристотелевская силлогистика с точки зрения современной формальной логики 

      Лукасевич Я. (Lukasiewicz J.) (Издательство иностранной литературы, 1959)
      Ян Лукасевич (1878-1956) - польский логик, один из лидеров львовско-варшавской школы. Ему принадлежат основополагающие работы в области многозначной логики, а также ряд исследований по истории логики. Предлагаемая вниманию ...
    • Булевы алгебры 

      Сикорский Р. (Мир, 1969)
      Книга выдающегося польского математика Р. Сикорского посвящена одному из важнейших разделов современной математики — теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки ...
    • Введение в логику 

      Кондаков Н.И. (Наука, 1967)
    • Введение в логику 

      Кондаков Н.И. (Наука, 1967)
      В данной книге кратко и доступно для начинающих изучение логики излагаются основные законы, правила, методы и термины традиционной логики. Поскольку в настоящее время в логике все более широко применяются математические ...
    • Введение в логику и методологию дедуктивных наук 

      Тарский А. (Иностранная литература, 1948)
      А.Тарский (1902-1983) - польский логик и математикосновоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. ...
    • Введение в логику и методологию дедуктивных наук 

      Тарский А. (Tarski A.) (Государственное издательство иностранной литературы, 1948)
    • Введение в логику и методологию дедуктивных наук 

      Тарский А. (Иностранная литература, 1948)
      А.Тарский (1902-1983) - польский логик и математикосновоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. ...
    • Введение в логику и методологию дедуктивных наук: Пер. с англ 

      Тарский А. (Иностранная литература, 1948)
      А.Тарский (1902-1983) - польский логик и математикосновоположник формальной семантики, главный представитель львовско-варшавской школы. Работы Тарского по семантике и металогике оказали большое влияние на развитие семиотики. ...
    • Введение в математическую логику 

      Чёрч А. (ИЛ, 1960)
      Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. ...