Логіка в інформатиці: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м допереклад, зв'язність |
|||
Рядок 10:
* [[булева логіка]] і алгебра для розробки апаратного забезпечення комп'ютерів;
*
* доказове програмування — технологія розробки [[алгоритм]]ів і [[Комп'ютерна програма | програм]] із доказами правильності алгоритмів;
Рядок 38:
На відміну від природничих наук, комп'ютерні науки отримали великий стимул від широкої і безперервної взаємодії з логікою. Особливу роль у комп'ютерних науках відіграють доказові методи розробки алгоритмів і програм з доказами їхньої правильності.
Тестування програм може виявити наявність помилок у програмах, але не може гарантувати їх відсутність. Гарантії відсутності помилок в алгоритмах і програмах можуть дати тільки докази їх правильності. [[Алгоритм]] не містить помилок, якщо він дає правильні
Серйозною проблемою для комп'ютерних наук та інформатики є наявність помилок в алгоритмах і програмах, що публікуються в підручниках і навчальних посібниках, а також невміння викладачів і вчителів інформатики виявляти і виправляти помилки в алгоритмах і програмах, складених учнями.
Рядок 60:
* [[Інформатика]]
* [[Комбінаторна логіка]]
* [[
* [[Формальна верифікація|Доказове програмування]]
| |||