Messages
User
Login
Folder
Up
3 folders, 108 files, 370.7 Mbytes
Select

0 items selected

Actions
Get list
Server information HttpFileServer 2.3k
Server time: 2018-04-21 1:19:16
Server uptime: (3 days) 17:21:35
Name.extension Size Timestamp Hits
Теория моделей folder2014-02-21 19:46:178
Теория множеств folder2014-02-21 19:46:1745
Алгоритмика folder2017-01-15 10:20:5917
Кравченко В.Ф., Рвачев В.Л. - Алгебра логики, атомарные функции и вейвлеты.djvu 5.1 MB2014-02-16 23:40:545
Нигматуллин Р.Г. Сложность булевых функций. 1991.djvu 2.5 MB2014-02-16 23:40:544
Тоноян Л.Г. Сборник задач и упражнений по логике. 2-е изд., Спб, 1999.pdf 2.1 MB2014-02-16 23:40:589
Гладкий А.В. Введение в современную логику. 2001.pdf 1.3 MB2014-02-16 23:41:0214
Непейвода Н.Н. Введение в системный и логический анализ.pdf 784.2 KB2014-02-16 23:41:0211
Смальян Р. Теория формальных систем. 1981.djvu 2.8 MB2014-02-16 23:41:369
Смальян Р. - Теория формальных систем - 1981.djvu 3.9 MB2014-02-16 23:41:381
Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. 1965.djvu 2.3 MB2014-02-16 23:41:426
Слисенко А.О., Соловьев С.В. (ред.) Математические методы построения и анализа алгоритмов. 1990.djvu 2.0 MB2014-02-16 23:41:465
Серебрянников О.Ф. Эвристические принципы и логические исчисления. 1970.djvu 2.2 MB2014-02-16 23:41:484
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. 1972.djvu 4.9 MB2014-02-16 23:41:504
Робинсон А. - Введение в теорию моделей и математическую логику.djvu 3.1 MB2014-02-16 23:41:563
Расева Е., Сикорский Р. Математика метаматематики. 1972.djvu 5.4 MB2014-02-16 23:41:584
Расeва Е., Сикорский Р. - Математика метаматематики.djvu 6.8 MB2014-02-16 23:42:042
Попов А.И. Введение в математическую логику. 1959.djvu 1.3 MB2014-02-16 23:42:123
Петер Р. Рекурсивные функции. 1954.djvu 2.8 MB2014-02-16 23:42:144
Новиков П.С. Элементы математической логики. 1973.djvu 7.7 MB2014-02-16 23:42:184
Пензов Ю.Е. Элементы математической логики и теории множеств. 1968.djvu 1.5 MB2014-02-16 23:42:186
Новиков П.С. Конструктивная математическая логика с точки зрения классической. 1977.djvu 4.2 MB2014-02-16 23:42:283
Новиков П.С. - Элементы математической логики.djvu 6.3 MB2014-02-16 23:42:325
Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu 5.0 MB2014-02-16 23:42:382
Никольская И.Л. Математическая логика. 1981.djvu 1.2 MB2014-02-16 23:42:443
Молодший В.Н. Очерки по вопросам обоснования математики. 1958.djvu 2.7 MB2014-02-16 23:42:464
Мендельсон Э. Введение в математическую логику. 1971.djvu 2.6 MB2014-02-16 23:42:481
Мельников Г.П. Азбука математической логики. 1967.djvu 1.8 MB2014-02-16 23:42:526
Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu 1.9 MB2014-02-16 23:42:543
Марков А.А., Нагорный Н.М. Теория алгорифмов. 1984.djvu 4.2 MB2014-02-16 23:42:563
Мартин-Леф П. Очерки по конструктивной математике. 1975.djvu 1.1 MB2014-02-16 23:42:566
Марков А.А. Элементы математической логики. 1984.djvu 944.4 KB2014-02-16 23:43:006
Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu 3.2 MB2014-02-16 23:43:025
Манин Ю.И. Доказуемое и недоказуемое. 1979.djvu 2.4 MB2014-02-16 23:43:107
Манин Ю.И. Вычислимое и невычислимое. 1980.djvu 1.6 MB2014-02-16 23:43:144
Мальцев А.И. Алгоритмы и рекурсивные функции. 1986.djvu 3.4 MB2014-02-16 23:43:184
Лихтарников Л.М., Сукачева Т.Г. - Математическая логика (Учебники для вузов. Специальная литература) - 1999.djvu 2.7 MB2014-02-16 23:43:243
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов..djv 2.5 MB2014-02-16 23:43:326
Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов (5-е издание) - 2004.djvu 1.6 MB2014-02-16 23:43:445
Кушнер Б.А. Лекции по конструктивному математическому анализу. 1973.djvu 4.6 MB2014-02-16 23:43:504
Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu 4.6 MB2014-02-16 23:44:042
Кулик Б.А. Логика естественных рассуждений. 2001.djvu 1.2 MB2014-02-16 23:44:503
Кузина Е.Б. Практическая логика. - М., 1996. - 160 с..djvu 1.4 MB2014-02-16 23:44:526
Крайзель Г. Исследования по теории доказательств. 1981.djvu 2.9 MB2014-02-16 23:44:545
Кондаков Н.И. Введение в логику. 1967.djvu 6.8 MB2014-02-16 23:45:004
Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. 1984.djvu 1.4 MB2014-02-16 23:45:245
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. 1962.djvu 1.2 MB2014-02-16 23:45:262
Клини С.К. Математическая логика. 1973.djvu 4.6 MB2014-02-16 23:45:323
Клини С.К. Введение в метаматематику. 1957.djvu 9.3 MB2014-02-16 23:45:441
Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функци.djv 2.3 MB2014-02-16 23:46:065
Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu 2.3 MB2014-02-16 23:46:122
Китчер Ф. и др. Методологический анализ оснований математики. 1988.djvu 3.2 MB2014-02-16 23:46:184
Карри Х.Б. Основания математической логики. 1969.djvu 3.8 MB2014-02-16 23:46:283
Калужнин Л.А. Что такое математическая логика. 1964.djvu 1.3 MB2014-02-16 23:46:346
Идельсон А.В., Минц Г.Е. Математическая теория логического вывода. 1967.djvu 4.2 MB2014-02-16 23:46:365
Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu 3.3 MB2014-02-16 23:46:485
Ершов Ю.Л., Палютин Е.А. Математическая логика. 1987.djvu 4.2 MB2014-02-16 23:46:544
Ершов Ю.Л. - Теория нумераций.djvu 3.4 MB2014-02-16 23:47:125
Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu 5.2 MB2014-02-16 23:47:262
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. 1979.djvu 3.3 MB2014-02-16 23:47:467
Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu 3.3 MB2014-02-16 23:47:546
Гудстейн Р.Л. Рекурсивный математический анализ. 1970.djvu 3.2 MB2014-02-16 23:48:044
Гуц А.К. Математическая логика и теория алгоритмов. 2003.djvu 343.7 KB2014-02-16 23:48:048
Гудстейн Р.Л. - Рекурсивный математический анализ.djvu 8.5 MB2014-02-16 23:48:163
Гохман А.В. и др. Сборник задач по математической логике и алгебре множеств. 1969.djvu 1011.3 KB2014-02-16 23:48:424
Горский Д.П. и др. Логика. 1956.djvu 2.9 MB2014-02-16 23:48:466
Гончаров С.С. Счетные булевы алгебры и разрешимость. 1996.djvu 3.6 MB2014-02-16 23:48:586
Голдблатт Р. Топосы. Категорный анализ логики. 1983.djvu 5.7 MB2014-02-16 23:49:106
Глушков В.М. - Синтез цифровых автоматов - 1962.djvu 5.1 MB2014-02-16 23:49:327
Гильберт Д., Бернайс П. Основания математики. Теория доказательств. 1982.djvu 7.0 MB2014-02-16 23:49:424
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. 19.djv 5.0 MB2014-02-16 23:50:145
Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu 7.5 MB2014-02-16 23:50:224
Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu 5.8 MB2014-02-16 23:50:365
Гильберт Д., Аккерман В. Основы теоретической логики. 1947.djvu 3.3 MB2014-02-16 23:50:525
Верещагин Н.К., Шень А. Языки и исчисления. 2000.djvu 772.5 KB2014-02-16 23:51:003
Варпаховский Ф.Л. элементы теории алгоритмов. 1970.djvu 526.7 KB2014-02-16 23:51:027
Верещагин Н.К., Шень А. Вычислимые функции. 1999.djvu 464.2 KB2014-02-16 23:51:026
Булос Дж., Джеффри Р. Вычислимость и логика. 1994.djvu 9.8 MB2014-02-16 23:51:044
Беркли Э. Символическая логика и разумные машины. 1961.djvu 2.0 MB2014-02-16 23:51:304
Бильгаева П.Ц. Теория алгоритмов, формальных языков, грамматик и автоматов. 2000.djvu 413.1 KB2014-02-16 23:51:305
Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика. 1985.djvu 5.0 MB2014-02-16 23:51:344
Барвайс Дж. Справочная книга по математической логике. Часть 4. Теория доказательств и конструкти.djv 4.1 MB2014-02-16 23:51:465
Барвайс Дж. Справочная книга по математической логике. Часть 3. Теория рекурсии. 1982.djvu 4.2 MB2014-02-16 23:51:525
Барвайс Дж. Справочная книга по математической логике. Часть 2. Теория множеств. 1982.djvu 4.4 MB2014-02-16 23:51:563
Барвайс Дж. Справочная книга по математической логике. Часть 1. Теория моделей. 1982.djvu 4.9 MB2014-02-16 23:52:046
Алферова З.В. Теория алгоритмов. 1973.djvu 1.6 MB2014-02-16 23:52:182
Айзерман М.А. и др. Логика. Автоматы. Алгоритмы. 1963.djvu 5.4 MB2014-02-16 23:52:221
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu 2.1 MB2014-02-16 23:52:305
Эдельман С.Л. Математическая логика. 1975.djvu 1.5 MB2014-02-16 23:52:342
Эббинхаус Г. и др. Машины Тьюринга и рекурсивные функции. 1972.djvu 3.0 MB2014-02-16 23:52:385
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К., Хермес Г. Машины Тьюринга и рекурсивные функции. 1972.djvu 2.4 MB2014-02-16 23:52:462
Шенфилд Дж. Математическая логика. 1975.djvu 5.5 MB2014-02-16 23:52:524
Шенфилд Дж. - Степени неразрешимости - 1977.djvu 2.5 MB2014-02-16 23:53:047
Шенфилд Дж. - Математическая логика.djvu 5.0 MB2014-02-16 23:53:147
Черч А. Введение в математическую логику. Том 1. 1960.djvu 3.8 MB2014-02-16 23:53:2610
Чуешева О. А., Математическая логика.djvu 281.6 KB2014-02-16 23:53:2613
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu 4.0 MB2014-02-16 23:53:344
Харин Н.Н. Математическая логика и теория множеств. 1963.djvu 2.4 MB2014-02-16 23:53:424
Фрейденталь Х. Язык логики. 1969.djvu 1022.9 KB2014-02-16 23:53:488
Фейс Р. Модальная логика. 1974.djvu 6.0 MB2014-02-16 23:53:525
Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu 6.0 MB2014-02-16 23:54:044
Успенский В.А., Семенов А.Л. Теория алгоритмов. 1987.djvu 3.5 MB2014-02-16 23:54:165
Успенский В.А. Что такое нестандартный анализ. 1987.djvu 1.0 MB2014-02-16 23:54:225
Успенский В.А. Лекции о вычислимых функциях. 1960.djvu 5.4 MB2014-02-16 23:54:245
Успенский В.А. - Лекции о вычислимых функциях.djvu 5.4 MB2014-02-16 23:54:365
Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu 3.6 MB2014-02-16 23:54:527
Тарский А. Введение в логику и методологию дедуктивных наук. 1948.djvu 5.0 MB2014-02-16 23:55:025
Такеути Г. Теория доказательств. 1978.djvu 3.3 MB2014-02-16 23:55:125
Судоплатов С. В. Математическая логика и теория алгоритмов. 2004.djvu 1.6 MB2014-02-16 23:55:226
Стяжкин Н.И. Формирование математической логики. 1967.djvu 5.7 MB2014-02-16 23:55:245
Столл Р. Множества. Логика. Аксиоматические теории. 1968.djvu 2.4 MB2014-02-16 23:55:383