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



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

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

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

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

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

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