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



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

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

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

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

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

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