WikiDer > LEGO (tasdiqlovchi yordamchi)

LEGO (proof assistant)

Bu maqola emas keltirish har qanday manbalar. Iltimos yordam bering ushbu maqolani yaxshilang tomonidan ishonchli manbalarga iqtiboslarni qo'shish. Manbaga ega bo'lmagan materialga qarshi chiqish mumkin va olib tashlandi.
Manbalarni toping: "LEGO" ishonchli yordamchisi – Yangiliklar · gazetalar · kitoblar · olim · JSTOR (2012 yil avgust) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

LEGO a dalil yordamchisi tomonidan ishlab chiqilgan Rendi Pollack da Edinburg universiteti. U bir necha turdagi nazariyalarni amalga oshiradi: Edinburg mantiqiy asoslari (LF), Qurilishlarning hisob-kitobi (CoC), the Qurilishlarning umumiy hisobi (GCC) va Mustaqil turlarning yagona nazariyasi (UTT).

Tashqi havolalar

Rasmiy veb-sayt

Bu Kompyuter fanlari maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

Bu matematik mantiqbilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.