2017. From mathematical logic to programming languages artificial intelligence. Computer Science and Cybersecurity. 1 (Apr. 2017), 40–52.