NOI 2023冬令营第一课堂讲者介绍

由CCF主办、成都市第七中学承办的2023全国青少年信息学奥林匹克冬令营（NOI 2023冬令营）将于2023年1月12日-19日在成都举办。考虑到疫情防控等多方面因素，NOI 2023冬令营采用现场+线上的组织形式，即：成都现场活动和线上两个参加方式。具体请见《CCF关于举办NOI 2023冬令营的通知》（点击查看）。第一课堂授课安排（根据授课时间顺序）曹钦翔：《定理证明与程序验证》戴江齐：《网...

由CCF主办、成都市第七中学承办的2023全国青少年信息学奥林匹克冬令营（NOI 2023冬令营）将于2023年1月12日-19日在成都举办。

考虑到疫情防控等多方面因素，NOI 2023冬令营采用现场+线上的组织形式，即：成都现场活动和线上两个参加方式。具体请见《CCF关于举办NOI 2023冬令营的通知》（点击查看）。

第一课堂授课安排（根据授课时间顺序）

曹钦翔：《定理证明与程序验证》

戴江齐：《网络流在最优化问题中的应用》

杨耀良：如何使用 tuack 命题

周航锐：题目选讲

钟诚：欧洲信息学竞赛题目选讲

唐绍轩：题目选讲

张隽恺：题目选讲

罗国杰：待定

赵鑫：《从信息学算法到人工智能算法：人工智能应用与算法概览》