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

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

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

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Клини



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.78, 203, 335, 346, 421, 422, 481, 489, 491, 503
Юшкевич А.П. — История математики. С древнейших времен до начала XIX столетия. В трёх томах. Том 193
Мендельсон Э. — Введение в математическую логику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. Книга 2382, 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
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте