অনুসন্ধান ফলাফলগুলি
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
- операции над предикатами
- множества 4
- булевы функции 3
- высказывания 3
- операции над множествами 3
- алгебра множеств 2
- логика предикатов 2
- логические операции 2
- нормальные формы 2
- отношения 2
- правила вывода 2
- предикат 2
- предикаты 2
- связность графа 2
- теорема дедукции 2
- теория графов 2
- формулы 2
- автоматическое доказывание теорем 1
- аксиоматические теории 1
- аксиомы 1
- алгебра высказываний 1
- алгоритм дейкстры 1
- алгоритм обхода вершин графа 1
- алгоритмы 1
- бинарные отношения 1
- булева алгебра 1
- взаимно обратные теоремы 1
- выводимость истинных утверждений 1
- вычислимые и рекурсивные функции 1
- вычислимые функции 1
-
1
Математика для инженеров учебное пособие
প্রকাশিত Тверь, Тверская ГСХА, 2018সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ -
2
-
3
Дискретная математика. Часть 1
প্রকাশিত Москва, РТУ МИРЭА, 2023সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ -
4
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
প্রকাশিত Воронеж, ВГУ, 2020সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ -
5
Математическая логика и теория алгоритмов учебное пособие
প্রকাশিত Махачкала, ДГПУ, 2024সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ