Курс лекций по математической логике и теории алгоритмов

Курс лекций по математической логике и теории алгоритмов

Ф.К. Алиев, И.А. Юров
0 / 0
0 comments
Πόσο σας άρεσε αυτό το βιβλίο;
Ποια είναι η ποιότητα του ληφθέντος αρχείου;
Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του
Ποια είναι η ποιότητα των ληφθέντων αρχείων;
Κατηγορίες:
Mathematics - Logic
Έτος:
2003
Εκδότης:
МИФИ
Γλώσσα:
russian
Σελίδες:
199
Αρχείο:
PDF, 2.75 MB
IPFS:
CID , CID Blake2b
russian, 2003
Κατεβάστε (pdf, 2.75 MB)
  • Checking other formats...
  • Το αρχείο που έχει μετατραπεί ενδέχεται να διαφέρει από το πρωτότυπο. Εάν είναι δυνατόν, είναι καλύτερο να κατεβάσετε το αρχείο στην αρχική του μορφή
    Litres
    Θέλετε να προσθέσετε βιβλιοπωλείο; Επικοινωνήστε μαζί μας στο support@z-lib.fm
Η μετατροπή σε βρίσκεται σε εξέλιξη
Η μετατροπή σε απέτυχε

Φράσεις κλειδιά

 
функции
функций
функция
формулы
множество
формул
формула
называется
существует
т.е
переменных
доказательство
машины
предикатов
функцию
число
теорема
тьюринга
задача
исчисления
задачи
частично
определение
алгоритм
множества
правило
любой
алгоритмов
днф
имеем
класс
алгоритма
операции
чисел
доказать
рассмотрим
теории
утверждение
получим
проблема
обозначим
задач
системы
определим
мпд
вида
числа
сложности
значения
определена
предикат
определено
понятие
алгебры
вычисления
имеется
следовательно
соответственно
выполнено
машин