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



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

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

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

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

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

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