کتاب مبانی نظریه انواع در Lean: اثبات صوری با رویکردی کاربردی
249,950 تومان
تگ: منطق ریاضی
کتاب مبانی گسسته: ساختارهای منطقی و الگوریتمها برای دانشجویان علوم کامپیوتر
249,950 تومان
کتاب اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها
249,950 تومان
کتاب ساختارهای عمیق اعداد گویا و حقیقی: مبانی تحلیل و حد
249,950 تومان
کتاب هندسه و ساختار در نظریه مدلها
249,950 تومان
کتاب مقدمهای بر اثباتگر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزارهها
249,950 تومان
دوره اصول ریاضی در علوم کامپیوتر: از نظریه تا کاربرد به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان
دوره منطق در علوم کامپیوتر: مبانی و کاربردها به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان
کتاب کتاب جامع آموزش منطق صوری و کاربردهای آن در علوم کامپیوتر
249,950 تومان
بدون تصویر
مقاله Math-KG: تدوین و کاربردهای گراف دانش ریاضی به همراه PDF فارسی + پادکست صوتی فارسی + ویدیو آموزشی فارسی
249,950 تومان
بدون تصویر
دوره جامع ریاضیات گسسته: بیش از ۵ دوره کامل در یک
999,000 تومان
بدون تصویر
دانلود دوره مقدمهای بر تفکر ریاضیاتی ۲۰۲۴-۵
999,000 تومان
بدون تصویر
دانلود دوره Udemy - مقدمهای بر حساب لامبدا برای مبتدیان مطلق ۲۰۲۲-۱۲ - دانلود نرمافزار
999,000 تومان