# MATHEMATICAL LOGIC AND PROGRAMMING

## Keywords:

mathematical logic, programming application, mathematical relationship between logic and programming## Abstract

The article presents the history of the emergence of mathematical logic. It is analyzed what is the meaning and application of mathematical logic in programming. The purpose of the article is to determine what is the relationship between mathematical logic and programming. The work is aimed to study how students of information systems evaluate knowledge of mathematical logic and the ability to apply knowledge in programming. It provides how programming knowledge can be applied to solve the tasks of mathematical logic. After analyzing, the opinion of the students of the Panevėžys College/ State Higher Education Institution, information systems study program about the knowledge of mathematics logic and the ability to programming, it was found that students assess their knowledge of mathematical logic and programming 6-7 points. The students of the program of the study of information systems were faced with a situation where knowledge of mathematical logic helped to solve the programming task more effectively. Assessment the difference in scores between mathematical logic and programming self-assessment is small enough for students. Emphasized that mathematical logic is very important in programming, especially when creating complex information systems or computer games. After analyzing how programming can be used to solve the tasks of mathematical logic, it was found that "Matlab" is perfect, which can solve the tasks of logical reasoning by creating a Script file.

## Downloads

## Published

## How to Cite

*Taikomieji Tyrimai Studijose Ir Praktikoje - Applied Research in Studies and Practice*,

*19*(1), 50–55. Retrieved from https://ojs.panko.lt/index.php/ARSP/article/view/204

## Issue

## Section

## License

Copyright (c) 2023 Taikomieji tyrimai studijose ir praktikoje - Applied research in studies and practice

This work is licensed under a Creative Commons Attribution 4.0 International License.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy.