اطلاعات کتاب
فصل 1-منطق گزاره ها
فصل 2-منطق محموله ها
فصل 3-زبان پرولوگ
فصل 4-کاربرد منطق در تعریف سیستم های کامپیوتری با استفاده از زبان z
فصل 5-اثبات صحت برنامه های کامپیوتر
فصل 6-نظریه ها
محصولات مرتبط
آینده دانش
200,000 تومان 350,000 تومان
آینده دانش
200,000 تومان 250,000 تومان
گسترش علوم پایه
268,800 تومان 280,000 تومان
دیباگران
316,800 تومان 330,000 تومان
دانشگاه صنعتی شریف
364,800 تومان 380,000 تومان
فاطمی
432,000 تومان 450,000 تومان
فاطمی
81,600 تومان 85,000 تومان
فاطمی
211,200 تومان 220,000 تومان
بسیج دانشجویی دانشگاه صنعتی خواجه نصیرالدین طوسی
522,500 تومان 550,000 تومان
دانشگاه صنعتی شریف
405,000 تومان
دانش پرور
47,500 تومان 50,000 تومان
مرکز نشر دانشگاهی
134,400 تومان 140,000 تومان
مرکز نشر دانشگاهی
190,000 تومان 200,000 تومان
گسترش علوم پایه
172,800 تومان 180,000 تومان
گسترش علوم پایه
211,000 تومان 220,000 تومان
برچسب ها:
کتاب منطق ریاضی و کاربرد آن در علوم کامپیوتر,
دکتر علی بهفروز,
دکتر محمد ایزدی,
آینده دانش,
خرید کتاب منطق ریاضی و کاربرد آن در علوم کامپیوتر,
منطق ریاضی وکاربرد آن درعلوم کامپیوتر,
علی به فروز,
محمدایزدی,
مبانی علم کامپیوتر از دیدگاه ریاضی 2,
مبانی علم کامپیوتر از دیدگاه ریاضی2,
مبانی علم کامپیوتر ازدیدگاه ریاضی,
جلد دوم,
جلددوم,
جلد2,
جلد 2,
ریاضیات علوم کامپیوتر
