Коомдук галерея

Жарыяланган жүргүзүүлөр, анын ичинде панелдин барака жетпеген учурлары. Бул натыйжалар: Lean ядросунун четке каккан формализациясы сизге ар кандай аргументтер үчүн эч качан негизделген кадамдарды так айтат.

Бул жерге эмне тиешелүү

Бул сайт дедукциялык иштер үчүн түзүлгөн: таза жана колдонмо математика, логика, теориялык компьютер илимдери, теориялык физика жана экономика теориясы - эксперименттен көрө далилдер менен чечилген маселелер. Эмпирикалык суроолор үчүн, теоремадан көрө чыныгы чечим табылган жерде, биздин referee.chat аттуу өнөктөш сайтты колдонсо болот.

referee.chat-ге өтүү