در حال بارگذاری…
راه کسکت به سوی منطق، ریاضیات و برنامه‌نویسی
هدف این کتاب آموزش استدلال منطقی و ریاضی در عمل و پیوند دادن استدلال منطقی با برنامه‌نویسی کامپیوتری در هسکل است.
هدف این کتاب آموزش استدلال منطقی و ریاضی در عمل و پیوند دادن استدلال منطقی با برنامه‌نویسی کامپیوتری در هسکل است. هسکل به عنوان استانداری برای برنامه‌نویسی تابع‌پذیر تنبل ظاهر شده است که ابزار نمایشی فوق‌العاده‌ای برای منطق و ریاضیات محسوب می‌شود.
انتخاب‌های نزدیک به این کتاب
استیون دی. گالبریت
کریس هیونن
جیمز اف. دیویس
کورنلیا دروتو
اولگ بوگوپولسکی
جیمز دابلیو. ویک