Buchumschlag

Solving contest problems via formal program verification

The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm design and rigorous mathematical proof of algorithm correctness (in style of A...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2026
Heft:2-3
Сторінки:355-362
ISSN:1727-4907
Автори та афіліації:
  • N.V. Shilov — Ershov Institute of Informatics Systems — ORCID: 0000-0001-7515-9647
  • S.O. Shilova — Ershov Institute of Informatics Systems
Hauptverfasser: Shilov, N.V., Shilova, S.O.
Format: Artikel
Sprache:Englisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
Schlagworte:
UDC 519.681.2
51-8
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/922
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming

Ähnliche Einträge

Ähnliche Einträge