西他沙星（sitafloxacin hydrate）化學(xué)名為7-[(7S)-7- 氨基-5-氮雜螺[2.4]庚-5-基]-8- 氯-6- 氟-1-[(1R,2S)-cis-2-氟環(huán)丙基]-1,4-二氫-4-氧代-3-喹啉羧酸，是第一制藥三共株式會(huì)社（Daiichi Sankyo）開(kāi)發(fā)的一廣譜喹諾酮類(lèi)抗菌藥，臨床用其一水合物，用于治療嚴(yán)重難治性感染性疾病 。
【西他沙星的介紹】是由英國(guó)數(shù)理邏輯學(xué)家西塔潘于上個(gè)世紀(jì)90年代提出的一個(gè)反推數(shù)學(xué)領(lǐng)域關(guān)于拉姆齊二染色定理證明強(qiáng)度的猜想 。在組合數(shù)學(xué)上，拉姆齊（Ramsey）定理是要解決以下的問(wèn)題：要找這樣一個(gè)最小的數(shù)n，使得n個(gè)人中必定有k個(gè)人相識(shí)或l個(gè)人互不相識(shí) 。2011年5月，由北京大學(xué)、南京大學(xué)和浙江師范大學(xué)聯(lián)合舉辦的邏輯學(xué)術(shù)會(huì)議在浙江師范大學(xué)舉行，中南大學(xué)數(shù)學(xué)科學(xué)與計(jì)算技術(shù)學(xué)院酷愛(ài)數(shù)理邏輯的劉嘉憶的報(bào)告給這一懸而未決的公開(kāi)問(wèn)題一個(gè)否定式的回答，徹底解決了西塔潘的猜想 。西塔潘猜想是由英國(guó)數(shù)理邏輯學(xué)家西塔潘于20世紀(jì)90年代提出的一個(gè)一個(gè)反推數(shù)學(xué)領(lǐng)域關(guān)于拉姆齊二染色定理證明強(qiáng)度的猜想 。拉姆齊二染色定理以弗蘭克·普倫普頓·拉姆齊正式命名，1930年他在論文On a Problem in Formal Logic（《形式邏輯上的一個(gè)問(wèn)題》）證明了R(3,3)=6
推薦閱讀
- QQ閃約聽(tīng)不到別人的聲音
- 帥哥是怎樣形成的。
- 你認(rèn)為華為P1最合適的價(jià)格是多少？
- 玩《cf》fps太低怎么辦？
- 外國(guó)產(chǎn)，最好是好萊塢 求血腥暴力的打僵尸電影
- 老k 游戲的捕魚(yú)達(dá)人有哪些捕魚(yú)的技巧
- 在早以前托普手機(jī)的手寫(xiě)鍵盤(pán)非常好,不知那是什么系統(tǒng)？
- 婍人兒的新品凝膠是自己研發(fā)的嗎，研發(fā)團(tuán)隊(duì)實(shí)力怎么樣？
- S60系統(tǒng)的手機(jī)是什么概念？
- 不需要上網(wǎng)的高中生學(xué)習(xí)安卓軟件