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

«Математическая логика и основания математики» 27k

-

(1962 - 1993)

Серия издательства «Наука».
.
Выпуски:
* Гильберт Д., Бернайс П. Основания математики. (1980)
* Гильберт Д., Бернайс П. Основания математики. (1983)
* Гильберт Л, Бернайс П. Основания математики. (1982)
* Глушков В.М. Синтез цифровых автоматов. (1962)
* Гудстейн Р.Л. Рекурсивный математический анализ. (1970)
* Драгалин А.Г. Математический интуиционизм. (1980)
* Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. (1980)
* Ершов Ю.Л. Теория нумераций. (1978)
* Клини С.К., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. (1978)
* Кушнер Б.А. Лекция по конструктивному математическому анализу. (1974)
* Марков А.А., Нагорный Н.М. Теория алгоритмов. (1985)
* Математическая теория логического вывода. (1967)
* Матиясевич Ю.В. Десятая проблема Гильберта. (1993)
* Новиков П.С. Конструктивная математическая логика с точки зрения классической. (1977)
* Новиков П.С. Элементы математической логики. (1974)
* Расева Е., Сикорский Р. Математика математики. (1972)
* Робинсон А. Введение в теорию моделей и математику алгебры. (1967)
* Смальян Р.М. Теория формальных систем. (1982)
* Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы. (1970)
* Фейс Р. Модальная логика. (1974)
* Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. (1983)
* Шенфилд Дж. Математическая логика. (1976)
* Шенфилд Дж. Степени неразрешимости. (1978)
* Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. (1966)
  • Глушков В.М. Синтез цифровых автоматов. [Djv- 5.1M]
    (Москва: Физматгиз, 1962. - Серия «Математическая логика и основания математики»)
    Скан, OCR, обработка, формат Djv: ???, предоставил: Михаил, 2014
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (7).
      Глава I. Общие сведения о преобразованиях информации (17).
      Глава II. Абстрактная теория автоматов (36).
      Глава III. Структурная теория автоматов (165).
      Глава IV. Минимизация булевых функций (264).
      Глава V. Методы построения комбинационных схем в двоичном структурном алфавите (317).
      Глава VI. Некоторые проблемы надежности цифровых автоматов (368).
      Глава VII. Алгоритмическая структура современных универсальных цифровых машин (414).
      Литература (464).
      Именной указатель (470).
      Предметный указатель (472).
.
.