見常微分方程初值問題數(shù)值解法。...[繼續(xù)閱讀]

    美籍波蘭數(shù)學(xué)家。1904年10月20日生于波蘭布雷斯勞（現(xiàn)稱弗羅茨瓦夫）。1926年獲德國格丁根大學(xué)博士學(xué)位，后在該校任教。1933年去美國任布朗大學(xué)副教授，1937年起在伯克利加州大學(xué)任教授，直至1972年退休。他為偏微分方程及其應(yīng)...[繼續(xù)閱讀]

    見悖論。...[繼續(xù)閱讀]

    用形式化方法處理邏輯推理，特別是數(shù)學(xué)中所用推理。由于形式化了的推理過程與代數(shù)演算具有相似性,故也稱之為邏輯演算。這類推理的正確性僅依賴于它們的形式,而與內(nèi)容無關(guān),例如三段論法。在這里，概念、推理等被分解為最...[繼續(xù)閱讀]

    見數(shù)學(xué)基礎(chǔ)。...[繼續(xù)閱讀]

    中國清初天文學(xué)家、數(shù)學(xué)家。字定九,號勿庵,安徽宣城人。生于明崇禎六年，卒于清康熙六十年。少年時(shí)從私塾老師羅王賓學(xué)習(xí)天文知識，27歲跟隨倪正學(xué)習(xí)大統(tǒng)歷。1675年以后專心致力于天文數(shù)學(xué)的研究。1679年曾在臬臺金長真幕下...[繼續(xù)閱讀]

    奧地利數(shù)學(xué)家和空氣動(dòng)力學(xué)家。1883年4月19日生于奧地利的萊姆伯格（今蘇聯(lián)的里沃夫）,1953年7月14日在美國波士頓去世。父親是一名鐵路技師，長兄是一位經(jīng)濟(jì)學(xué)家。他于1907年在維也納獲得博士學(xué)位后，曾先后在斯特拉斯堡大學(xué)和...[繼續(xù)閱讀]

    見解析函數(shù)項(xiàng)級數(shù)。...[繼續(xù)閱讀]

    見積分不等式。...[繼續(xù)閱讀]

    見命題邏輯。...[繼續(xù)閱讀]