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



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

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

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

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

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

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