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...

Full description

Saved in:
Bibliographic Details
Date:2010
Main Authors: Shilov, N.V., Shilova, S.O.
Format: Article
Language:English
Published: Інститут програмних систем НАН України 2010
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/14623
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Solving contest problems via formal program verification / N.V. Shilov, S.O. Shilova// Пробл. програмув. — 2010. — № 2-3. — С. 355-362. — Бібліогр.: 17 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862691007629361152
author Shilov, N.V.
Shilova, S.O.
author_facet Shilov, N.V.
Shilova, S.O.
citation_txt Solving contest problems via formal program verification / N.V. Shilov, S.O. Shilova// Пробл. програмув. — 2010. — № 2-3. — С. 355-362. — Бібліогр.: 17 назв. — англ.
collection DSpace DC
description 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. Hoare and R. Floyd). The paper sketches two problems of this kind in a form of tutorials for undergraduate students that are interested in different programming contests (like ACM International Collegiate Programming Contests). These tutorials took place at Novosibirsk State University in years 2005–2008. The paper also dioceses some direction for further research that emerge from the problems.
first_indexed 2025-12-07T16:14:46Z
format Article
fulltext
id nasplib_isofts_kiev_ua-123456789-14623
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 1727-4907
language English
last_indexed 2025-12-07T16:14:46Z
publishDate 2010
publisher Інститут програмних систем НАН України
record_format dspace
spelling Shilov, N.V.
Shilova, S.O.
2010-12-27T13:38:21Z
2010-12-27T13:38:21Z
2010
Solving contest problems via formal program verification / N.V. Shilov, S.O. Shilova// Пробл. програмув. — 2010. — № 2-3. — С. 355-362. — Бібліогр.: 17 назв. — англ.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/14623
519.681.2, 51-8
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. Hoare and R. Floyd). The paper sketches two problems of this kind in a form of tutorials for undergraduate students that are interested in different programming contests (like ACM International Collegiate Programming Contests). These tutorials took place at Novosibirsk State University in years 2005–2008. The paper also dioceses some direction for further research that emerge from the problems.
en
Інститут програмних систем НАН України
Формальні методи програмування
Solving contest problems via formal program verification
Article
published earlier
spellingShingle Solving contest problems via formal program verification
Shilov, N.V.
Shilova, S.O.
Формальні методи програмування
title Solving contest problems via formal program verification
title_full Solving contest problems via formal program verification
title_fullStr Solving contest problems via formal program verification
title_full_unstemmed Solving contest problems via formal program verification
title_short Solving contest problems via formal program verification
title_sort solving contest problems via formal program verification
topic Формальні методи програмування
topic_facet Формальні методи програмування
url https://nasplib.isofts.kiev.ua/handle/123456789/14623
work_keys_str_mv AT shilovnv solvingcontestproblemsviaformalprogramverification
AT shilovaso solvingcontestproblemsviaformalprogramverification