Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Непейвода. Прикладная логика

.PDF
Скачиваний:
898
Добавлен:
10.08.2013
Размер:
2.27 Mб
Скачать

ПЕРСОНАЛИИ

501

A. De Morgan (О. де Морган), xiv,

11

J. von Neumannан (Я. Фон Нейм-

), 390Исаак Ньютон

Isaac Newton ( ), x Ockam (Оккам), 38

Дж Пеано

G. Peano (Р Пирс. ), 12, 14 R. Pierce ( . К Подниекс), xiv

K. Podnieks ( . ), 372

D. Prawitz, 431

V. W. Quine (Куайн В. У.), 75

А Робинсон

Robinson A. (Дж. Робинсон), 278 J. RobinsonБ( Рассел. ), 325 B. Russell ( . ), 14, 61

Жан Скалигер

J. Scaliger (Т Сколем ), x T. Skolem ( . Р Смальян), 324

Robert Smullian ( . ), xviii,

Дж137, Свифт220

J. Swift ( . ), 347

А Тарский

A. Tarski ( . П), 200,Тейяр348де

P. TeyardШарденde Chardin ( .

A. S. Troelstra ( . . ),

А), xixС Трулстра

459А Тьюринг

A. Turing ( . ), 359 J. Venn (Дж. Венн), 77

G. Weizenbaum (Дж. Вейценбаум),

359, 378Дж Уайтхед

J. Whitehead ( . ), 14

Аверроэс Аристотель, xii

, xi, xii

Артамонов Архимед , 9

, xxvii

Н В Белякин Джордано. . Бруно, 380

, 462

В И Вернадский

Х. Б. Врунгель , xix Л.С .Выготский, xxiv

. . , 8

Галилей Гермес Трисмегист, 106

В А Гливенко , xiii

. . , 427

Диоген Лаэртский А.Г. Драгалин, 376, 414

Евклид, 4 Зенон Элейский, 429

Ибн-Рушд, см. Аверроэс

А Н Колмогоров М. Крейнович. , 427, 432 И .А Крылов , 470

. . , 18

Г.И. Лобачевский, 218

А И Мальцев А. А. Марков , 251

А.А .Марков , 424, 430, 469

Андрей. . Андреевич, xiv Марков, 348,

455

Николай Кузанский, 106, 462 В.П. Оревков, 329

Понтий Пилат Пифагор , 415 Платон , 294

, xxii, 17

502

ПЕРСОНАЛИИ

Козьма Прутков, xxiv

 

Теэтет, 294

 

Филолай, 294

 

А.Т. Фоменко, x

 

Иисус Христос, 415

 

Г.С. Цейтин, 482

 

Н. А. Шанин, 431

 

Л.Я. Шейнфинкель, 390

 

М.И. Шейнфинкель, 13

 

М.Р. Шура-Бура, 20

 

Л. Я. Щерба, xiii

 

Николай Николаевич Непейвода

Прикладная логика

Учебное пособие

Данная работа частично поддержана Минвузом России, гранты

94-1.17-336, программа «Фундаментальные исследования в естество-

знании» и «Логические операторы», Новосибирский центр по матема-

тическим наукам, 1996

 

Технический редактор

С.И. Зянкина

Корректор

Е.Ф. Осипова

Компьютерная подготовка

С.Н. Непейвода

Лицензия ЛР № 020411 от 18.02.97

 

1/16. Печать офсетная.

Сдано в производство 25.11.97.

Формат 60 × 90

Уч. изд. л. 28,5. Усл. печ. л. 24,0.

Тираж 4000

экз.

Заказ № .

Издательство Удмуртского университета Ижевск Майская Типография Удмуртского Университета ,Ижевск426000, Университетская, , 23.

, , , 1.