Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Американдық математик (туған 1937)
American mathematician (born 1937)
Питер Брюс Эндрюс (туған 1937) – американдық математик және Пенсильвания штатының Питтсбург қаласындағы Карнеги-Меллон университетінің математика профессоры, зейнеткер. Ол математикалық логиканың Q0 жүйесін жасаған автор. 1964 жылы Алонзо Черчтың жетекшілігімен Принстон университетінде философия докторы (Ph.D.) дәрежесін алды. 2003 жылы Гербранд сыйлығымен марапатталды. Оның зерттеу тобы TPS автоматты теореманы дәлелдейтін жүйені (automated theorem prover) құрастырды. TPS жүйесінің ETPS (Educational Theorem Proving System) кіші жүйесі студенттерге табиғи дедукция арқылы дәлелдер құрастыруға көмектеседі, осылайша логиканы үйренуге ықпал етеді.
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0. He received his Ph. D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.
Жарияланымдар
Эндрюс, Питер Б. (1965 ж.). Түрінің айнымалылары бар трансфиниттік типтер теориясы. Амстердам: North Holland Publishing Company. Эндрюс, Питер Б. (1971). "Типтер теориясындағы шешім". Символикалық логика журналы, 36, 414–432. Эндрюс, Питер Б. (1981). "Жалпы жұптасу арқылы теореманы дәлелдеу". J. Assoc. Comput. March, 28, № 2, 193–214. Эндрюс, Питер Б. (1986). Математикалық логика мен типтер теориясына кіріспе: дәлелдеу арқылы шындыққа. Компьютерлік ғылым және қолданбалы математика. Academic Press, Inc., Орландо, Флорида. Эндрюс, Питер Б. (1989). "Қосылыстар және жоғары ретті логика туралы". J. Automat. Reason., 5, № 3, 257–291. Эндрюс, Питер Б.; Бишоп, Мэтью; Иссар, Сунил; Несмит, Дэн; Пфеннинг, Франк; Си, Хунвэй (1996). "TPS: классикалық типтер теориясы үшін теореманы дәлелдеу жүйесі". J. Automat. Reason., 16, № 3, 321–353. Эндрюс, Питер Б. (2002). Математикалық логика мен типтер теориясына кіріспе: дәлелдеу арқылы шындыққа. Екінші басылым. Қолданбалы логика сериясы, 27. Kluwer Academic Publishers, Дордрехт.
Andrews, Peter B. (1965). A Transfinite Type Theory with Type Variables. North Holland Publishing Company, Amsterdam. Andrews, Peter B. (1971). "Resolution in type theory". Journal of Symbolic Logic 36, 414–432. Andrews, Peter B. (1981). "Theorem proving via general matings". J. Assoc. Comput. March. 28, no. 2, 193–214. Andrews, Peter B. (1986). An introduction to mathematical logic and type theory: to truth through proof. Computer Science and Applied Mathematics. Academic Press, Inc., Orlando, FL. Andrews, Peter B. (1989). "On connections and higher order logic". J. Automat. Reason. 5, no. 3, 257–291. Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei (1996). "TPS: a theorem proving system for classical type theory". J. Automat. Reason. 16, no. 3, 321–353. Andrews, Peter B. (2002). An introduction to mathematical logic and type theory: to truth through proof. Second edition. Applied Logic Series, 27. Kluwer Academic Publishers, Dordrecht.