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...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/14623 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Solving contest problems via formal program verification / N.V. Shilov, S.O. Shilova// Пробл. програмув. — 2010. — № 2-3. — С. 355-362. — Бібліогр.: 17 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-14623 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-146232010-12-28T12:03:00Z Solving contest problems via formal program verification Shilov, N.V. Shilova, S.O. Формальні методи програмування 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. 2010 Article Solving contest problems via formal program verification / N.V. Shilov, S.O. Shilova// Пробл. програмув. — 2010. — № 2-3. — С. 355-362. — Бібліогр.: 17 назв. — англ. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14623 519.681.2, 51-8 en Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Формальні методи програмування Формальні методи програмування |
| spellingShingle |
Формальні методи програмування Формальні методи програмування Shilov, N.V. Shilova, S.O. Solving contest problems via formal program verification |
| 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. |
| format |
Article |
| author |
Shilov, N.V. Shilova, S.O. |
| author_facet |
Shilov, N.V. Shilova, S.O. |
| author_sort |
Shilov, N.V. |
| title |
Solving contest problems via formal program verification |
| title_short |
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_sort |
solving contest problems via formal program verification |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2010 |
| topic_facet |
Формальні методи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/14623 |
| citation_txt |
Solving contest problems via formal program verification / N.V. Shilov, S.O. Shilova// Пробл. програмув. — 2010. — № 2-3. — С. 355-362. — Бібліогр.: 17 назв. — англ. |
| work_keys_str_mv |
AT shilovnv solvingcontestproblemsviaformalprogramverification AT shilovaso solvingcontestproblemsviaformalprogramverification |
| first_indexed |
2023-10-18T16:53:33Z |
| last_indexed |
2023-10-18T16:53:33Z |
| _version_ |
1796140148082081792 |