WikiDer > Арнон Аврон
Арнон Аврон | |
|---|---|
ארנון אברון | |
| Туған | 1952 (67-68 жас) |
| Ұлты | Израильдік |
| Алма матер | Тель-Авив университеті Иерусалимдегі Еврей университеті |
| Ғылыми мансап | |
| Өрістер | Математикалық логика |
| Мекемелер | Тель-Авив университеті |
| Диссертация | Өзара сәйкестік логикасы мен қарама-қайшылықтарды қамтитын нейтривиалды теориялар (1985) |
| Докторлық кеңесшілер | Хайм Гайфман Йорам Хиршфельд |
Арнон Аврон (Еврей: ארנון אברון; 1952 ж.т.) болып табылады Израильдік математик және информатика мектебінің профессоры Тель-Авив университеті. Оның зерттеулері қолданбаларға бағытталған математикалық логика дейін Информатика және жасанды интеллект.[1]
Өмірбаян
Жылы туылған Тель-Авив 1952 жылы Арнон Аврон математиканы оқыды Тель-Авив университеті және Иерусалимдегі Еврей университетіPhD докторы дәрежесін алу магна сиқырлы 1985 ж. Тель-Авив Университетінен. 1986 - 1988 жж. аралығында ол қонақ болды Эдинбург университетіКеліңіздер Информатика негіздері зертханасы, ол өзінің қауымдастығын бастады Информатика.[2]
1988 жылы ол Тель-Авив Университетінің Информатика кафедрасының аға оқытушысы (кейінірек Информатика мектебі) болды, 1996–1998 жж. Мектепті басқарды, 1999 ж. Толық профессор болды.[2]
Зерттеу
Авронның ғылыми қызығушылықтары мыналардан тұрады дәлелдеу теориясы, автоматтандырылған пайымдау, классикалық емес логика, математиканың негіздері, және қосымшалары математикалық логика жылы Информатика және жасанды интеллект. Арнон өзінің енгізілуімен автоматтандырылған пайымдау теориясына айтарлықтай үлес қосты гипервекуенттер, жалпылау дәйекті есептеу.[3][4] Аврон сонымен қатар билатиктерді қолдануды енгізді параконсентикалық логикажәне өз үлестерін қосты предикативті жиындар теориясы және геометрия.[2]
Таңдалған жұмыстар
Кітаптар
- Avron, Arnon (2001). Дискретті математикаға кіріспе (иврит тілінде). Тель-Авив: Тель-Авив университетінің баспасы.
- Avron, Arnon (1998). Годель теоремалары және математика негіздерінің мәселесі. Университет сериялары (еврей тілінде). Израиль: Қорғаныс министрлігінің жарияланымдары.
Мақалалар
- Avron, Arnon (1996). «Пропозиционды классикалық емес логиканың дәлелдеу теориясындағы гипервекуенттер әдісі» (PDF). Жылы Ходжес, Уилфрид; Хиланд, Мартин; Штайнхорн, Чарльз; Трусс, Джон (ред.) Логика: негіздерден қосымшаларға дейін. Нью-Йорк: Clarendon Press. 1-32 бет. ISBN 978-0-19-853862-2.
- Аврон, Арнон; Хонселл, Фурио; Мейсон, Ян А .; Поллак, Роберт (1992). «Машинада формальды жүйелерді енгізу үшін типтелген лямбда есептеуін қолдану». Автоматтандырылған ойлау журналы. 9 (3): 309–354. дои:10.1007 / BF00245294.
- Avron, Arnon (1991). «Табиғи 3 құндылықты логика - сипаттама және дәлелдеу теориясы». Символикалық логика журналы. 56 (1): 276–294. дои:10.2307/2274919. JSTOR 2274919.
- Avron, Arnon (1991). «Гиперсекуенттер, логикалық нәтиже және параллельділіктің аралық логикасы». Математика және жасанды интеллект жылнамалары. 4 (3–4): 225–248. дои:10.1007 / BF01531058.
- Avron, Arnon (1988). «Сызықтық логиканың семантикасы және дәлелдеу теориясы». Теориялық информатика. 57 (2–3): 161–184. CiteSeerX 10.1.1.29.9. дои:10.1016/0304-3975(88)90037-0.
Сыртқы сілтемелер
Әдебиеттер тізімі
- ^ «Арнон Аврон». Тель-Авив университеті. Алынған 19 ақпан 2019.
- ^ а б c Ариели, Офер; Кониковска, Беата; Рабинович, Александр; Заманский, Анна (2016). «Алғы сөз». Логика және есептеу журналы. 2 (1): 1–6. дои:10.1093 / logcom / ext023.
- ^ Avron, Arnon (1996). «Пропозиционды классикалық емес логиканың дәлелдеу теориясындағы гипервекценттер әдісі» (PDF). Жылы Ходжес, Уилфрид; Хиланд, Мартин; Штайнхорн, Чарльз; Трусс, Джон (ред.) Логика: негіздерден қосымшаларға дейін. Нью-Йорк: Clarendon Press. 1-32 бет. ISBN 978-0-19-853862-2.
- ^ Avron, Arnon (1991). «Гиперсекуенттер, логикалық нәтиже және параллельділіктің аралық логикасы». Математика және жасанды интеллект жылнамалары. 4 (3–4): 225–248. дои:10.1007 / BF01531058.
