| Title: | Законы формальной логики и программирование |
| Authors: | Ковалёв, А. В. |
| Keywords: | материалы конференций;формальная логика;законы логики;программирование;логические операции;функциональные системы;формальные методы;Логические основы программирования |
| Issue Date: | 2026 |
| Publisher: | БГУИР |
| Citation: | Ковалёв, А. В. Законы формальной логики и программирование / А. В. Ковалёв // Компьютерные системы и сети : сборник материалов 62-й научной конференции аспирантов, магистрантов и студентов БГУИР, Минск, 13–17 апреля 2026 г. / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2026. – С. 556–557. |
| Abstract: | В данной работе представлены примеры отражения четырёх основных законов формальной логики в программировании – законов тождества, непротиворечия, исключённого третьего, достаточности основания. Показаны возможные причины допущения логических ошибок в процессе написания кода, а также доказательства применимости этих законов. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/64038 |
| Appears in Collections: | Компьютерные системы и сети : материалы 62-й научной конференции аспирантов, магистрантов и студентов : сборник статей (2026)
|
