Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Карпенко А.С. — Логики Лукасевича и простые числа
Карпенко А.С. — Логики Лукасевича и простые числа



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Логики Лукасевича и простые числа

Автор: Карпенко А.С.

Аннотация:

В книге впервые в мировой литературе устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения фаталистического аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах. Появилась реальная возможность выявить структуру последних. В итоге простые числа можно представить в виде корневых деревьев. Комбинирование различных логических определений простого числа приводит к построению алгоритма для порождения классов простых чисел. Как для этого, так и для построения корневых деревьев разработаны компьютерные программы. Приводятся различные таблицы чисел, публикуемые впервые. Для философов, логиков, математиков.


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2000

Количество страниц: 319

Добавлена в каталог: 19.09.2006

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Abad, M.      57
Ackerman, R.      63
Aguzzoli, S.      71 262
Anderson, A.R.      273
Anshakov, O.M.      51
Aqvist, L.      49
Ayoub, R.      173
Baaz, M.      71
Balbes, R.      25 73
Barton, S.      93
Beavers, G.      262 272
Bechio, D.      57
Belnap, N.D., jr.      273
Beziau, J.-Y.      78
Blylh, T.S.      54
Bocheriski, J.M.      43
Boicescu, V.      74
Bole, L.      52 92
Bolker, E.D.      115
Boole, G.      28
Borowik, P.      52 92
Bosbach, B.      268 279
Brady, R.T.      60
Bryl, J.      45 49—50
Bueno, O.A.S.      78
Buff, H.W.      265 268
Bunder, M.W.      275
Burris, S.      28 61
Burton, D.M.      115
Byrd, S.W.      85—86
Camielli, W.A.      71
Carmichael, R.D.      137—138
Chang, C.C.      74 261 263—264
Chapman, T.      44
Chelakowski, J.      78
Ciabattoni, A.      71
Cignoli, R.      52—53 67 73—75 264—265 268
Clay, R.E.      68
Crandall, R.      166
Cszkary, B.      95
Curry, H.      43 102
d'Ottaviano, I.M.L.      268
da Costa, N.С.А.      78
de Gallego, M.S.      74
Desboves, A.      183
Deshouillers, J.-M.      183
Doming, X.      272
Dwinger, Ph.      25 73 96
Epstein, R.L.      36 39 49
Erdos, P.      137
Evans, T.      68
Fermuller, C.G.      71
Figalla, A.      57
Finn, V.K.      98 107
Font, J.V.      266
Ford, K.      137
Frege, G.      22
Gil, A.J.      71
Giles, R.      262—263
Gillard, P.      113
Glaisher, J.W.L.      113 115 128
Gobel, F.      138
Godel, K.      66
Grigolia, R.      69 264
Gupta, H.      115—116
Guy, R.K.      137
Haack, S.      42
Hagis, P.Jr.      138
Hahnle, R.      71 262
Hajek, P.      263 268
Hales, A.W.      135—136
Hardy, G.H.      183
Hendry, H.E.      98 102—103 109
Herbrand, J.      23
Herzberger, H.G.      98
Heyting, A.      51 53
Hoo, C.S.      267 268
Hosoi, T.      67
Iseki, K.      266—267
Iturrioz, L.      52 55 57 72—73
Janowith, M.F.      54
Jaskowski, S.      60
Jordan, Z.      33 76
Kalman, J.A.      26
Karpenko, A.S.      50 87 134 163 169 183 271 273—274
Klee, V.      138
Kneale, W. & M.      44
Komori, Y.      36 265 272
Kotas, J.      78
Lal, M.      113
Lettieri, A.      268
Lucas, E.      115
Luchi, D.      262
Lukasiewicz, J.      22 30—34 38—39 43 51 58—59 61—63 69 83 174 259—260 274 277 280—281
Maier, H.      113
Malinowski, G.      40 50 75 77—78
Mangani, P.      263
Martinez, N.G.      268
Masai, P.      138
Massey, G.      102—103
Mates, B.      32
McCall, S.      42
McKinsey, J.C.C.      54 101 162
McNaughton, R.      68 177 261
Meglicki, G.      278
Meredith, С.A.      261
Meyer, R.K.      78 273
Miyakawa, M.      103
Moisil, G.C.      25 46 52 56—57 71
Monk, J.D.      28
Monteiro, A.      53 56
Monteiro, L.      49 52 57
Mostowski, A.      43
Mox, Shaw-Kwei      43
Mukaidano, M.      26
Mundici, D.      261—262 264 268
Narkiewicz, W.      166
NoIa, A.D.      71 268
Nowak, M.      45
Olivetti, N.      262
Ono, H.      36
Palasinski, M.      279
Panti, G.      265
Parks, Z.      273
Pinkawa, V.      101
Pirog-Rzepecka, K.      iv
Plouffe, S.      114
Pomerance, C.      112
Popov, V.M.      274
Post, E.L.      19 24 85 90 103—104
Prijatelj, A.      71 262
Prior, A.N.      29 40—42 44 84 266
Prucnal, T.      45
Pycaz, J.      262
Quine, W.V.      102
Rasiowa, H.      26 57
Rauszer, C.      54
Rechman, F.      116 134
Rescher, N.      37 50 52
Ribenboim, P.      137 167
Rine, D.C.      84
Rodriguez, A.F.      266—267
Romanowska, A.      267
Rose, A.      iv 63 76 103 162 261 272—273
Rosenberg, I.      95 97—98 101
Rosser, J.B.      65 67 69 99 261 263
Rousseau, G.      71 101
Routley, R.      78
Ruskey, F.      146
Russell, B.      24
Rychkov, S.      51
Rytin, M.      133
Sankappanavar, H.P.      28 55 61
Saouter, Y.      183
Scala, H.J.      263
Schlafty, A.      138
Schulz, P.      136 138
Schwartz, P.B.      68
Scott, D.      76 78 79 81 83
Seeskin, K.R.      42
Sicoe, C.O.      73
Slaney, J.K.      275 278
Sloane, N.J.A.      114
Slupecki, E.      38 45 49—50
Smiley, T.      82
Spyroponlus, K.      112
Stone, M.H.      27
Suchon, W.      72
Sugihara, T.      42
Suszko, R.      77
Takahashi, M.      71
Tanaka, S.      267
Tarski, A.      22 54 58—59 62—64 69 174 259—260 266 277
te Riele, H.J.J.      183
Thomas, I.      67
Tokarz, M.      49 64 70
Torrens, A.      71 266
Traczyk, T.      267
Trilles, E.      272
Tsuji, M.      78
Turquette, A.      65 67 69 73 99
Tuziak, R.      70
Urquhart, A.      63 71 76 82 84 87 107 261
Valette, A.      138
Valverde, L.      272
van Dalen, D.      53
van Fraassen, B.      78
Varlet, J.      57
Vasyukov, V.L.      271
Verdu, V.      71
Wagner, H.      262
Wagon, S.      138
Wajsberg, M.      35 69 260
Wang, Hao      47
Wang, Y.      183
Webb, D.L.      101
Whitehead, A.      24
Wilf, H.      167
Wolenski, J.      31
Woodruff, P.W.      40
Wozniakowska, B.      273
Wqjcicki, R.      49
Wronski, A.      267 279
Yutani, H.      267
Zach, R.      71
Zadeh, L.A.      263
Абрамовиц, М.      112—113
Аншаков, О.М.      51
Аристотель      18 31 41
Арнольд, И.В.      115—116
Биркгоф, Г.      26 54
Бочвар, Д.А.      i 50 68 98 105—106 151
Бухштаб, А. А.      150 177
Вайсберг, М.      i 29 68
Василенко, О.Н.      171
Васильев, Н.А.      30
Васюков, В.Л.      33
Виноградов, И.М.      112
Владимиров, Д.А.      28
Волгин, Л.И.      261
Гаврилов, Г.П.      104
Гаек, П.      v
Гастев, Ю.А.      v
Гаусс, К.      111
Гольдбах, Х.      182
Гонсет, Ф.      43
Гретцер, Г.      24 55
Григолия, Р.Ш.      i 54 69—70 272
Емельянов, Н.Р.      95
Заде, Л.      iii
Захарова, Е.Ю.      97
Карпенко, А.С.      ii—v 12 32—33 89 103 114 121 128 133 139 149 152 160 163 169 172 176 179 183 270 271 273
Карри, Х.      53—54
Кейслер, Г.Дж.      261
Клини, С.К.      47
Клозак, К.      43
Комендантский, В.Е.      50
Копытов, В.М.      268
Котарбиньский, Т.      44
Кофман, А.      262
Кудрявцев, В.Б.      94 97 104
Кузнецов, А.В.      26 94 97
Ландау, Э.      183
Левин, В.И.      261
Линденбаум, А.      i 29 69
Лукасевич, Я.      i—v 14 29 32—34 38 280—282
Мак-Нотон, Р.      i 58 107—108 180 182
Максимова, Л.Л.      272
Марков, А.А.      52 57
Матиясевич, Ю.В.      167 174
Мендельсон, Э.      19
Мередит, К.А.      29
Мундичи, Д.      v
Мучник, А.А.      104
Нельсон, Д.      57
Оттавиано, Дж.М.Л.      v
Павлов, С.А.      48
Палмер, Э.      146
Пост, Э.      i
Прахар, К.      166
Расёва, Е.      43 53 54
Раца, М.Ф.      52 104
Россер, Б.      i
Роуз, А.      i 33
Рыбаков, М.Н.      65
Рычков, С.В.      51
Серпинский, В.      115 137
Сикорский, Р.      53—54
Сильвестр, Дж.      113
Сколем, Т.      54
Скотт, Д.      i
Слупецкий, Е.      i 30
Сметанич, Я.С.      52
Смирнов, В.А.      14
Собочиньский, Б.      29
Стиган, И.      112—113
Тарский, А.      i 29 58
Твардовский, К.      29
Токаж, М.      68
Тюркетт, А.      i 37
Уркварт, А.      iv 110
Финн, В.К.      v 12 50 68 90 98 105—107 110 152 176 182
Харари, Ф.      146
Хендри, Г.Е.      iv 110
Хомич, В.И.      67
Хризипп      32
Цагер, Д.      11 166
Чёрч, А.      22 43
Чиньоли, П.Л.О.      v
Чэн, Ч.Ч.      i 261
Шалак, В.И.      110 133 169 171
Шестаков, В.И.      iv 98
Эйлер, Л.      111
Эсакиа, Л.Л.      54—55
Яблонский, С.В.      92 94 96—98 101 104
Яглом, И.М.      28
Янков, В.А.      272
Янов, Ю.И.      104
Яновская, С.А.      94
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте