PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
September 1, 2002Communications of the ACM22 citations

Engaging students with theory through ACM collegiate programming contest

View Full Paper
НШН. В. ШиловKYKwangkeun Yi

Key Points

Key points are not available for this paper at this time.

Abstract

How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Шилов et al. (2002) studied this question.

synapsesocial.com/papers/6a23f1d79e1c90a91c097713https://doi.org/10.1145/567498.567506
Ask AI
Helpful
Bookmark
Share
View Full Paper