| DC Field | Value | Language |
|---|
| dc.contributor.author | Ковалёв, А. В. | - |
| dc.coverage.spatial | Минск | en_US |
| dc.date.accessioned | 2026-06-05T07:30:43Z | - |
| dc.date.available | 2026-06-05T07:30:43Z | - |
| dc.date.issued | 2026 | - |
| dc.identifier.citation | Ковалёв, А. В. Законы формальной логики и программирование / А. В. Ковалёв // Компьютерные системы и сети : сборник материалов 62-й научной конференции аспирантов, магистрантов и студентов БГУИР, Минск, 13–17 апреля 2026 г. / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2026. – С. 556–557. | en_US |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/64038 | - |
| dc.description.abstract | В данной работе представлены примеры отражения четырёх основных законов формальной логики в программировании – законов тождества, непротиворечия, исключённого третьего, достаточности основания. Показаны возможные причины допущения логических ошибок в процессе написания кода, а также доказательства применимости этих законов. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | БГУИР | en_US |
| dc.subject | материалы конференций | en_US |
| dc.subject | формальная логика | en_US |
| dc.subject | законы логики | en_US |
| dc.subject | программирование | en_US |
| dc.subject | логические операции | en_US |
| dc.subject | функциональные системы | en_US |
| dc.subject | формальные методы | en_US |
| dc.subject | Логические основы программирования | en_US |
| dc.title | Законы формальной логики и программирование | en_US |
| dc.type | Article | en_US |
| Appears in Collections: | Компьютерные системы и сети : материалы 62-й научной конференции аспирантов, магистрантов и студентов : сборник статей (2026)
|
