付朝辉:硕士,数学教师。2007年毕业于贵州大学逻辑学专业。主要研究现代逻辑学在人工智能定理机器证明、自动推理领域的应用。参编《逻辑学》教材(贵州人民出版社出版),在省级期刊发表《基于归结原理的自动推理及其应用研究》等论文。先后担任《计算机数学》、《高等数学》、《离散数学》、《数据库原理》、《操作系统》等课程的教学。

师资队伍
 
教学名师
骨干教师
欧美外教
企业高级培训师