Бібліотека методичних матеріалів
182
0
0
0
Відображення документу є орієнтовним і призначене для ознайомлення зі змістом, та може відрізнятися від вигляду завантаженого документа.


Доступ до плеєра. Вбудувати плеєр:
Лекція за темою"Булеві функції від одного і двох аргументів"

436
Дмитренко Ірина Миколаївна
Лекція за темою "Використання компютерів для доказу теорем математичної логіки"

105
Дмитренко Ірина Миколаївна
Лекція за темою "Математична логіка і інформатика"

493
Дмитренко Ірина Миколаївна
Лекція за темою "Множини, відношення, функції"

157
Дмитренко Ірина Миколаївна
Лекція за темою "Нормальні форми для формул алгебри висловлювань"

519
Дмитренко Ірина Миколаївна