Відмінності між версіями «Логіка в інформатиці»

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