دانلود کتاب Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (به فارسی: منطق و علوم کامپیوتر: سخنرانی های ارائه شده در جلسه اول مرکز بین المللی ریاضی تابستانی) نوشته شده توسط «S. Homer – R. A. Platek – A. Scedrov – A. Nerode – Gerald E. Sacks»
اطلاعات کتاب منطق و علوم کامپیوتر: سخنرانی های ارائه شده در جلسه اول مرکز بین المللی ریاضی تابستانی
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag
نویسنده: S. Homer – R. A. Platek – A. Scedrov – A. Nerode – Gerald E. Sacks
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 159
حجم کتاب: 2 مگابایت
کد کتاب: 9780387527345 , 0-387-52734-6 , 3540527346-:
توضیحات کتاب منطق و علوم کامپیوتر: سخنرانی های ارائه شده در جلسه اول مرکز بین المللی ریاضی تابستانی
دوره های ارائه شده در 1 C.I.M.E. مدرسه تابستانی 1988 به حوزه های اصلی در مرز بین منطق کاربردی و علوم کامپیوتر نظری می پردازد. این دوره ها در اینجا در پنج مقاله توضیحی ثبت شده است: S. هومر: حدس هم ریختی و تعمیم آن.- A. Nerode: چند سخنرانی در مورد منطق شهودی.- R.A. Platek: ایمن سازی رایانه ها برای جهان. مقدمه ای بر اثبات برنامه ها. قسمت اول – G.E. Sacks: Prolog Programming.- A. Scedrov: راهنمای انواع چند شکلی.
دانلود کتاب «منطق و علوم کامپیوتر: سخنرانی های ارائه شده در جلسه اول مرکز بین المللی ریاضی تابستانی»
![مبلغی که بابت خرید کتاب میپردازیم به مراتب پایینتر از هزینههایی است که در آینده بابت نخواندن آن خواهیم پرداخت.](https://blog.balyan.ir/wp-content/uploads/2023/01/Buy-books-and-build-a-good-life.jpg)