Kết quả tìm kiếm
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
- вычислимость
- множества 6
- разрешимость 6
- математическая логика 5
- предикаты 5
- функции 5
- математика 4
- алгоритмы 3
- булевы алгебры 3
- высказывания 3
- графы 3
- отношения 3
- языки программирования 3
- Информатика 2
- алгебра 2
- бинарные отношения 2
- булевы функции 2
- время 2
- группы 2
- дискретная математика 2
- доказательства 2
- задачи 2
- индукция 2
- история 2
- исчисление 2
- кольца 2
- конечные автоматы 2
- конечные поля 2
- логика 2
- машина Тьюринга 2
-
1
-
2
-
3
Сложносистемное мышление. Материя, разум, человечество: новый синтез пер. с англ.
Được phát hành Москва, URSS, 2009Sách -
4
-
5
-
6
Вычислительные инварианты в теории алгебраических систем сборник научных статей
Được phát hành Новосибирск, Изд-во ВЦ СО АН СССР, 1987Sách -
7
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
Được phát hành Москва, Мир, 1983Sách -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Теория вычислений для программистов
Được phát hành Москва, ДМК Пресс, 2014lấy văn bản
lấy văn bản
Điện tử Sách -
16
Современная прикладная алгебра учебное пособие пер. с англ.
Được phát hành СПб. [и др.], Лань, 2005Sách -
17
Дискретная математика для инженера
Được phát hành Санкт-Петербург, Лань, 2022lấy văn bản
lấy văn bản
Điện tử Sách -
18
Введение в математическую логику
Được phát hành Санкт-Петербург, Лань, 2022lấy văn bản
lấy văn bản
Điện tử Sách