|
|
 |
| Результат поиска |
Поиск книг, содержащих: Клини
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 78, 203, 335, 346, 421, 422, 481, 489, 491, 503 | | Юшкевич А.П. — История математики. С древнейших времен до начала XIX столетия. В трёх томах. Том 1 | 93 | | Мендельсон Э. — Введение в математическую логику | 11, 49, 50, 52, 65, 96, 152, 170, 202, 250, 260, 261, 263, 266, 2568, 279, 300, 308 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 8, 17, 22, 29, 30, 36, 38, 39, 40, 41, 53, 58, 116, 135, 137, 214, 221, 224, 247, 254, 265, 266, 273, 275, 276, 277, 278, 279, 280, 285, 289, 297, 299, 300, 319, 320, 324, 328, 332, 334, 337, 341, 343, 345, 346, 348, 359, 360, 361, 362, 363, 365, 368, 370, 371, 372, 373, 376, 378, 385, 386, 435, 442, 457, 511, 512 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 20, 46, 55, 73, 197, 271, 272, 278, 286, 309, 317, 319 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 842 | | Шеннон К. — Работы по теории информации и кибернетике | 165, 179, 782 | | Клини С. — Математическая логика | 50, 280, 290, 302, 307, 308, 310, 311, 320, 321, 326, 330, 333, 337, 341, 352, 361, 383, 384, 391, 396, 397, 403, 408, 428, 442, 456, 457, 458, 465 | | Манин Ю.И. — Вычислимое и невычислимое | 6, 25 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 32, 49, 67, 295, 313, 322, 325 | | Куратовский К., Мостовский А. — Теория множеств | 362 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 228 и д., 284 и д., 526, 529 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 269, 270, 409 | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 254, 403 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 7, 8, 15, 29, 30, 34, 36, 37, 39, 42, 45, 50, 210, 212, 233, 235, 236, 251, 263, 264, 266, 267, 269, 270, 275, 330, 333, 334, 337, 338, 351—354, 381, 383, 394, 403, 405, 425, 432, 447, 478, 480—486, 519, 528, 529, 536, 540, 564, 565, 581, 584 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 38, 52, 147 | | Глушков В.М. — Синтез цифровых автоматов | 9, 67, 75, 465 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 236, 253, 255—257, 271 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 10, 16, 20, 22, 31, 34, 86, 92, 217, 234, 310, 392, 411, 412, 431 | | Медведев Ф.А. — Французская школа теории функций и множеств на рубеже XIX - XX вв. | 122, 217 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 116 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 9, 11, 74, 82, 85, 88, 149 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 38, 52, 147 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 8—10, 20, 34, 35, 40, 41, 44, 47, 48, 60, 74, 75, 146, 150, 154— 158, 163, 178, 218, 221, 243 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 7, 8, 13, 14, 16, 17, 18, 32, 33, 61, 66, 70, 76, 77, 102, 113, 116, 117, 118, 125, 132, 133, 139, 149, 154, 156, 159, 161, 162, 165, 166, 169, 184, 194, 207, 258 | | Фейс Р. — Модальная логика | 224, 243, 245, 246, 429, 430, 503 | | Чёрч А. — Введение в математическую логику (том 1) | п. 119, п. 131, п. 142, п. 176, п. 351, п. 357, п. 461 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 15, 532 | | Карри Х.Б. — Основания математической логики | 6, 7, 43, 52, 53, 54, 55, 74, 114, 126, 131, 135, 155, 169, 185, 186, 188, 189, 290, 299, 324, 349, 357, 436, 464, 480, 500, 501 | | Чандлер Б., Магнус В. — Развитие комбинаторной теории групп | 193 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 10—12, 143, 312, 329, 335, 423 | | Мартин-Лёф П. — Очерки по конструктивной математике | 26, 32, 37, 61, 62, 64, 73, 76, 128 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 360 | | Шенфилд Дж. — Степени неразрешимости | 7, 39, 42, 84, 108 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 85 | | Клини С.К. — Введение в метаматематику | 51, 83, 124, 233, 244, 245, 249, 251, 253, 254, 255, 256, 257, 264, 269, 270, 272, 273, 277, 278, 281, 285, 286, 287, 289, 290, 298, 300, 313, 314, 316, 338, 407, 430, 434, 444, 448, 451, 453, 454, 455 | | Манин Ю.И. — Вычислимое и невычислимое | 6, 25 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 382, 410—413, 418—421, 426, 434, 446, 452 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 88, 372, 483 | | Налимов В.В. — Вероятностная модель языка | 57, 141, 142, 168, 265 | | Клини С.К. — Математическая логика | 50, 280, 290, 302, 307, 308, 310, 311, 320, 321, 326, 330, 333, 337, 341, 352, 361, 383, 384, 391, 396, 397, 403, 408, 428, 442, 456, 457, 458, 465 |
|
|
|
|
О проекте