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

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

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

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

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

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

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

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

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

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