অনুসন্ধান ফলাফলগুলি
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
- интуиционистская логика
- арифметические функции 3
- комбинаторная логика 3
- логические функции 3
- модальная логика 3
- модель крипке 3
- чистое исчисление 3
- Логика 2
- предикаты 2
- реализация функций 2
- Алгоритмы, теория 1
- Вычислительный интеллект 1
- Математическая логика 1
- Множеств теория (основания математики) 1
- Непрерывная логика 1
- автоматизация 1
- алгоритмы 1
- вывод 1
- высказывания 1
- вычисления 1
- генерирование 1
- интеллектуальные системы 1
- история 1
- исчисление 1
- классическая логика 1
- логика групп 1
- логические исследования 1
- математическая логика 1
- машины Тьюринга 1
- метод резолюций 1
-
1
-
2
-
3
-
4
-
5
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
প্রকাশিত Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ -
6
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
প্রকাশিত Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ -
7
Неклассические логики и лямбда-исчисление: некоторые элементы
প্রকাশিত Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক গ্রন্থ