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...
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | , |
| 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 |