Шифр: 510.6(07) И26
Игошин В. И. Математическая логика и теория алгоритмов : учеб. пособие / В. И. Игошин. – 4-е изд., стер. – Москва : Академия, 2010. – 448 с. : ил. – (Высшее профессиональное образование). – ISBN 978-5-7695-7045-2. – 284,00
Игошин В. И. Математическая логика и теория алгоритмов : учеб. пособие / В. И. Игошин. – 4-е изд., стер. – Москва : Академия, 2010. – 448 с. : ил. – (Высшее профессиональное образование). – ISBN 978-5-7695-7045-2. – 284,00
Статистика використання: Видач: 3
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 2 | 2 |
Тема:
- Ключові слова латиницею
- Prolog ( Пролог, мова, Пролог, язык) УДК
- 510.5 Алгоритми. Обчислювальні функції
- 510.6 Математична логіка Ключові слова
- інформатика, информатика, informatica, Informatik, informatics, informatique
- алгебра висловлювань, алгебра высказываний
- теорія алгоритмів, теория алгоритмов, theory of algorithms
- математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik
- булеві функції, булевы функции, Boolean functions
- системи штучного інтелекту, СШІ, системы искусственного интеллекта, СИИ
- аксіоматика, аксиоматика
- теорія моделей, теория моделей
- логіка предикатів, логика предикатов