数论和程序设计