报告人：1. Li Aihua (李爱华)，Montclair State University（USA）

2. Wu Guohua (吴国华)，Nanyang Technological University

3. Zhao Kaiming(赵开明)，Wilfrid Laurier University, Waterloo, Canada

报告题目：1. Randic Connectivity Index of Certain Graphs and Applications in Bioinformatics;

2.希尔伯特纲领与反推数学.

3. Simple Witt modules that are finitely generated over the cartan subalgebra.

时间：2017年6月9日下午2:30

地点：数学科学学院38号楼103报告厅

摘要1.In this presentation the author will report recent results from the study of Randic connectivity indices (RCI) of certain graphs derived from biology and chemistry problems, including line graphs built from DNA sequences. Basics about RCI will be introduced. Among a special type of graphs, the ones with maximum or minimum RCI value are identified. An application in DNA data analysis is shown which demonstrates how the graph index is used to analyze DNA data of Chagas disease and help better understand the revolutionary relationships of the insect vectors.

2.希尔伯特纲领在二十世纪初由希尔伯特提出，其目的是给整个数学提供一个既协调又可靠的形式系统.希尔伯特的想法是，先对基础的数学系统实行这样的形式化，然后将其推广到更广的数学系统，最终实现整个纲领。哥德尔不完全性定理粉碎了希尔伯特纲领。哥德尔不完全性定理说的是，如果我们能在一个系统里做算术，那么我们就不可以在这个系统里证明该系统的协调性。哥德尔证明创造性地使用了数化概念，也就是将所有的数学命题和证明用自然数来表示。哥德尔不完全性定理的直接推论是，不可判定问题是普遍存在的。我们将在报告中陈述反推数学的基本思想。某种意义上讲，反推数学是希尔伯特纲领的一种继承。我们将用代数中的一些结论及相关证明来介绍反推数学的几个基本框架。

3. Let $W_d$ be the Witt algebra over the Laurent polynomial algebra $A_d$. We will give the classification of all simple $W_d$-modules that are finitely generated over the Cartan subalgebra

欢迎广大师生参加！