2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
К проблеме вычислимости функции сознания
Иванов Е.М.
90 b
#2
Вычислимое и невычислимое
Манин Ю.И.
Категория:
Cs_Computer science
,
CsNp_Computability
2.84 Mb
#3
Вычислимое и невычислимое
Манин Ю.И.
Категория:
Computer science
,
Вычислимость
1.63 Mb
#4
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций (сборник переводов)
Козмидиади
,
Мучник. (ред.)
Категория:
Computer science
,
Algorithms
6.32 Mb
#5
Вычислимое и невычислимое
Манин Ю.И.
Категория:
Computer science
,
Computability
1.98 Mb
#6
Теория рекурсивных фунцкий и эффективная вычислимость
Роджерс Х.
Категория:
Computer science
,
Computability
6.68 Mb
#7
Лекции о вычислимых функциях
Успенский В.А.
Категория:
Computer science
,
Computability
5.44 Mb
#8
Вычислимость и логика
Булос Дж.
,
Джеффри Р. (G.S.Boolos
,
R.C.Jeffrey)
Категория:
Mathematics
,
Algebra
,
Mathematical logic
9.81 Mb
#9
Вычислимость и логика
Булос Дж.
,
Джеффри Р. (G.S.Boolos
,
R.C.Jeffrey)
Категория:
Mathematics
,
Algebra
,
Mathematical logic
3.81 Mb
#10
Определимость и вычислимость
Ершов Ю. Л.
Категория:
science
,
science
,
exact
2.22 Mb
#11
Лекции о вычислимых функциях
Успенский В.А.
Категория:
Mathematics
,
Algebra
,
Mathematical logic
5.44 Mb
#12
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Верещагин Н.К.
,
Шень А.
Категория:
science
,
science
,
exact
464 Kb
#13
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций
Мучник А.А. (ред)
Категория:
Mathematics
,
Algebra
,
Mathematical logic
7.49 Mb
#14
Вычислимость. Введение в теорию рекурсивных функций
Катленд Н.
677 Kb
#15
Вычислимые семейства суператомных булевых алгебр
Алаев П.Е.
411 Kb
#16
Арифметика второго порядка и автономная вычислимость
Гайлит Е.В.
359 Kb
#17
Об автоморфизмах шкал потенциалов вычислимости n-элементных алгебр
Журков С.В.
,
Пинус А.Г.
208 Kb
#18
Сложность некоторых естественных проблем на классе вычислимых I-алгебр
Когабаев Н. Т.
455 Kb
#19
Вычислимые решения уравнений над эндоморфизмами негативных нумераций
Комбарро Э.Ф.
417 Kb
#20
Вычислимое и невычислимое
Манин Ю. И.
3.57 Mb
#21
О вычислимых формальных понятиях в вычислимых формальных контекстах
Морозов А.С.
,
Львова М.А.
200 Kb
#22
Оценка алгоритмической сложности классов вычислимых моделей
Павловский Е.Н.
554 Kb
#23
Шкалы потенциалов вычислимости всех конечных алгебр
Пинус А.Г.
149 Kb
#24
О вычислимости над моделями разрешимых теорий
Пузаренко В.Г.
2.51 Mb
#25
Лекции по математической логике и теории алгоритмов. Вычислимые функции
Верещагин Н.К.
,
Шень А.
Категория:
Mathematics
,
Algebra
,
Mathematical logic
1.29 Mb
#26
Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов
Морозов А.С.
,
Касымканулы Б.
420 Kb
#27
Вычислимые однородные булевы алгебры и одна метатеорема
Алаева П. Е.
297 Kb
#28
Классификация подмножеств натуральных чисел при помощи вычислимых перестановок
Комбарро Э.Ф.
443 Kb
#29
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Алаев П. Е.
278 Kb
#30
Об одной иерархии групп вычислимых автоморфизмов
Морозов А.С.
,
Бузыкаева А.Н.
360 Kb
#31
Равномерность в теории вычислимых структур
Доуни Р.
,
Хиршевельд Д.
294 Kb
#32
Сложность теорий вычислимых категоричных моделей
Гончаров С. С.
,
Хусаинов Б.
218 Kb
#33
Вычислимость и логика
Категория:
Математика
9.81 Mb
#34
Лекции по математической логике, Вычислимые функции
Верещагин Н.К.
,
Шень А.
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
973 Kb
#35
Вычислимое и невычислимое
Манин Ю.И.
Категория:
Научная и техническая литература: серии
,
сборники
,
периодика
2.73 Mb
#36
Введение в вычислимость: Учебное пособие
Морозов А.С.
Категория:
Информатика и информационные технологии
770 Kb
#37
Представление в ЭВМ неформальных процедур
Кузнецов В.Е.
Категория:
Computer science
,
Вычислимость
1.73 Mb
#38
Алгоритмы и рекурсивные функции
Мальцев А.И.
Категория:
Computer science
,
Вычислимость
3.44 Mb