Бібліотека методичних матеріалів
- Всеосвіта›
- Бібліотека методичних матеріалів›
- Комп'ютерна логіка›
- Лекція за темою "Використання компютерів для доказу теорем математичної логіки"
Матеріал:
Лекція за темою "Використання компютерів для доказу теорем математичної логіки"
doc 
14.12.2020
100
0
0
0
Опис методичного матеріалу:
Щонайширше використання комп'ютерів в найрізноманітніших сферах людської діяльності висуває на одне з перших місць питання про надійність програмного забезпечення комп'ютерів. Як відомо, правильність створеної програми зазвичай перевіряється на ряду так званих тестових прикладів, на початкових даних, для яких результат відомий або його можна передбачити.
Вміст матеріалу:
Доступ до плеєра. Вбудувати плеєр:
