ченими Н.А. Васильєвим і І.Є. Орловим.
Середина 20 століття ознаменувалася додаткової розробкою нових областей логіки. Сталося розвиток обчислювальної техніки, що призвело до створення логічних елементів, логічних блоків та пристроїв обчислювальної техніки. Такими областями стали: проблеми логічного синтезу, логічне проектування і логічного моделювання логічних пристроїв і засобів обчислювальної техніки.
У вісімдесятих роках 20 століття на базі мов і систем логічного програмування проводилися дослідження в галузі штучного інтелекту. Для верифікації алгоритмів і програм для ЕОМ були створені спеціальні системи, в яких були використані методи автоматизованого доведення теорем, а також методи доказового програмування.
В цей же час відбулися серйозні зміни в освіті. У середніх школах для навчання стали застосовуватися персональні комп'ютери, що призвело до написання підручників інформатики з вивченням елементів математичної логіки. Це було необхідно для пояснення логічних принципів роботи логічних схем і пристроїв обчислювальної техніки, а також принципів логічного програмування для комп'ютерів і розробки нових підручників з інформатики з вивченням мови числення предикатів для створення баз знань.
2. Основні напрямки логіки 20 століття
Сучасна логіка - одна з назв етапу в розвитку формальної логіки, який розпочався у другій половині 19ст.- Початку 20 в. Також цей етап у розвитку логіки отримав назву математична логіка і символічна логіка. Спорідненість даної логіки по застосовуваних методів з математикою принесло їй ім'я - математична. Застосування в логіці спеціально створених для цілей логічного аналізу мов формалізованих, які є, так би мовити, «наскрізь символічними» дає їй визначення - символічна. Новий етап формалістичною логіки протиставляється традиційній логіці, відмітною особливістю якої було те, що вона використовувала при описі правильних способів міркування звичайний, або природний, мова, доповнений невеликою кількістю спеціальних символів.
Математична логіка - це така логіка, яка розвивається математичним методом. Відмінною рисою для математичної логіки є використання формальних мов з точним синтаксисом і чіткою семантикою, які однозначно визначають значення формул. Необхідність в даній логіці з'явилася на початку 20 століття в зв'язку з тим, що були інтенсивно розроблені основи математики, виникло безлічі теорії, де відкрили антиномії, були уточнені поняття алгоритму та іншими глибокими і принциповими питаннями математичної науки. Незважаючи на це вплив математичної логіки для науки в цілому не закінчується її математичними додатками, оскільки правильні міркування і вміння доводити свою точку зору потрібні у всіх сферах діяльності. Тому математична логіка є сучасною логікою.
Ідея створення універсальної мови для всієї математики та формалізації на базі такої мови математичних доказів пропонувалася ще в 17 в. Г. Лейбніцем. Але перші наукові роботи з алгебраизации логіки з'явилися тільки в середині 19 століття. Їх авторами були Дж. Буль і О. де Морган. Реальна можливість застосувати цю мову до питань основ математики з'явилася після того, як Г. Фреге і Ч. Пірс ввели в мову алгебри логіки предикати, предметні змінні і квантори.
Формулювання судження на деякій точному мовою призвело...
