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

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

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

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

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

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

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

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

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

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