欧美第一页,亚洲欧美日韩国产,狠狠色欧美亚洲狠狠色WWW,欧美精品视频一区二区三区

當前位置: > 學術報告 > 理科 > 正文

理科

數(shù)學與信息科學學院系列學術報告

發(fā)布時間:2019-12-23 瀏覽:

報告人: 趙東升教授、吳國華教授、奚小勇副教授

講座日期:2019-12-23

講座時間:9:00-11:3015:00

報告地點:長安校區(qū) 數(shù)學與信息科學學院學術交流廳

主辦單位:數(shù)學與信息科學學院學院

 

報告題目1Johnstone's dcpo and related structures

報告人: 趙東升教授

講座日期:2019-12-23

講座時間:9:00-10:00

講座人簡介:

趙東升,新加坡南洋理工大學教授。1981年畢業(yè)于陜西師范大學數(shù)學系,次年在我國著名數(shù)學家,陜西師范大學王國俊先生指導下攻讀拓撲專業(yè)碩士學位。1988年赴英國劍橋大學攻讀博士,師從英國著名數(shù)學家Peter Johnstone。1993年獲得劍橋大學博士學位。1994年至今在新加坡南洋理工大學國立教育學院從事教學、研究。研究方向:拓撲,序理論,廣義積分及Bair函數(shù)類,研究成果卓著,在Proc. of American Mathematical Society》、《Fundamenta Mathematicae》、《Applied Categorical Structures》、《Canadian Mathematical Bulletin》、《Houstone Journal of Mathematics》、《Rocky Mountain Journal of Mathematics》、《Quaestiones Mathematicae》,《Comment. Math. Univ. Carolinae》、 Journal of Mathematical Analysis and Applications等數(shù)學名刊上均有論文發(fā)表,所發(fā)表論文被國外眾多專家學者引用,其中一篇論文獲2000ISI世界經(jīng)典引文獎Citation Classic Award

講座簡介:

Johnstone constructed the first dcpo whose Scott space is not sober. This dcpo has many other special features and has been used in several parts of domain theory. In this talk, I will present a survey on the problems and structures related to this dcpo.

報告題目2環(huán)論中幾個重要定理證明的邏輯思考

報告人: 吳國華教授

講座日期:2019-12-23

講座時間:10:30-11:30

講座人簡介:

吳國華,新加坡南洋理工大學教授,研究集中在數(shù)理邏輯領域,包括集合論,可計算性理論和能行數(shù)學。2003年獲新西蘭皇家學院頒發(fā)的年度Hatherton獎。承擔新加坡教育部研究項目多項,主持與參與國家自然科學基金重點項目,國際交流合作項目多項,發(fā)表論文60余篇,近期致力于反推數(shù)學研究。

講座簡介:

環(huán)論中許多定理的證明都用了佐恩引理,如極大理想的存在性證明,極小素理想的存在性證明,內射模的Baer準則證明,等等。分配格中有類似的結論,證明同出于一宗。我們在報告里將給出可數(shù)情形下這些定理的無佐恩證明,并從公理系統(tǒng)的角度分析這些定理的邏輯強度。我們還將以Domain理論里的Rudin引理作為示范,介紹這一思想。

報告題目3Some New Results on the Interlinks between Order and Topology via Domain Theory

報告人: 奚小勇副教授

講座日期:2019-12-23

講座時間:15:00-16:00

講座人簡介:

奚小勇,副教授,新加坡南洋理工大學Research Fellow主要從事拓撲學與Domain理論的研究,發(fā)表論文20多篇,完全或部分解決了Domain理論領域內若干公開問題,如Amadio-Curien問題,Ho-Zhao問題等。

講座簡介:

In the talk , we will report our recent joint work:

(1) Joint with Wu Guohua, Zhao Dongsheng, Xu Xiaoquan, in terms of a method introduced by Keimel and Lawson for the d-completion, we established the well-filteredfication, which answers an open problem posed by Lawson;  

(2) Joint with Lawson, Wu Guohua, we give a positive answer to Jia-Jung Problem: the core compact and well filtered T0 spaces are sober. Finally, we will pose some derived problems to discuss with Domain theory community.

开心 伊人 激情| 干夜夜| 国产一级片综合网| 亚欧福利导航| 麻豆香蕉| av88自拍| 日韩特黄特色视频| 色无码| 日韩色视频高清| 超碰9999| 精品最新立足欧美| 五月丁香久久呀| 精品亚洲国产区久久| 大陸三级片| 国产成人欧美日本在线观看| 精品视频在线播放| 丰满北岛玲| 狂野欧美性猛XXXX乱大交| 日本午夜福利不卡| 极品无码| 日国产无码| 亚洲AV中文乱码一区二| 亚洲爆草| 苍井空和黑人大喷水| 最色导航| 日产国产亚洲片导航| 天堂成人网| 精品久久久久无码专区| 亚洲国产精品欧美激情| 国产日韩精品欧美一区喷水| 日韩女人乱叫| 亚洲强奸中文在线| 图片区亚洲| 蜜桃好色视频| JiZz国产大全视频免费| 大陆麻豆黄色三级片| 日本国产高清| 巨乱人| 精品女人久久久| janpan无码人妻| 亚洲欧洲激情久久|