Публікація: Визначення математичної логіки
Завантаження...
Дата
2020
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
Symbolic logic is a section of formal logic in which logical inferences are explored through logical calculi based on a strict symbolic language. The mathematician is characterized by the widespread use of symbolism. Writing logical reasoning in the form of mathematical symbols gives the evidence a more concise, simple form. Formal logic operates with statements (our speech also consists of them
Опис
Ключові слова
філософія, визначення математичної логіки
Бібліографічний опис
Худаєва С. А. Визначення математичної логіки / С. А. Худаєва, науковий керівник – доц. Старікова Г. Г. // Радіоелектроніка та молодь у XXI столітті : матеріали 24-го Міжнар. молодіж. форуму, 7–9 квітня 2020 р. – Харків : ХНУРЕ, 2020. – Т. 8. – С. 62–63.