Пошуковий запит: (<.>U=В121 я7$<.>) |
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
|
1. | ВА587117 Тарєлкін Ю. П.Сум. держ. пед. ін-т. Основи формальної логіки [Текст] : Навч. посіб. для студ. гуманіт. спец. вузів
|
2. | ВА695455 Шушура А. Н.Донец. держ. ін-т штуч. інтелекту. Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій
|
3. | ВА792936 Шаповалов С. П. Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / С. П. Шаповалов, М. П. Матвієнко ; Сум. держ. ун-т
|
4. | ВА865180 Шевельова А. Є. Формальне доведення теорем числення висловлювань [Текст] : навч. посіб. / А. Є. Шевельова ; Дніпров. нац. ун-т ім. Олеся Гончара, Каф. обчислюв. математики та мат. кібернетики
|