«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Калужнин Лев Аркадьевич

Лев Аркадьевич Калужнин 130k

-

()

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
.
:
...




  • Калужнин Л.А. Что такое математическая логика? [Djv- 1.3M] Автор: Лев Аркадьевич Калужнин.
    (Москва: Издательство «Наука»: Главная редакция физико-математической литературы, 1964)
    Скан, обработка, формат Djv: ???, предоставил: Raidar, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (3).
      Введение (5).
      Глава первая. Логика высказываний (8).
      Глава вторая. Тождественно истинные формулы логики высказываний (50).
      Глава третья. Логика предикатов (71).
      Заключение. Основания математики и математическая логика (130).
      Литература (149).
ИЗ ИЗДАНИЯ: Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики. Книга рассчитана на инженеров и работников, занимающихся вопросами автоматики. Она также будет полезна всем, кто хочет ознакомиться с основами математической логики.
  • Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики: Пособие для учителей. [Djv- 2.6M] Автор: Лев Аркадьевич Калужнин.
    (Москва: Издательство «Просвещение», 1978)
    Скан, обработка, формат Djv: ???, предоставил: Raidar, 2013
    • СОДЕРЖАНИЕ:
      Предисловие (3).
      §1 Как возникла формальная и математическая логика (5).
      §2. Начала теории множеств (12).
      §3. Алгебра высказываний и алгебра множеств (25).
      §4. Отношения и соответствия, предикаты, кванторы (37).
      §5. Высказывательные формы (53).
      §6. Аристотелевское учение о суждениях и силлогизмах (65).
      §7. Определения (72).
      Заключение и обзор литературы (81).
      Литература (85).
ИЗ ИЗДАНИЯ: В книге дается краткое изложение элементов теории множеств и математической логики и показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики.