توضیحات
Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gdel’s completeness theorem. A sneak peek to Gdel’s incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.
————————————————————–
ترجمه ماشینی :
با استفاده از یک رویکرد آموزشی منحصر به فرد، این متن منطق ریاضی را با راهنمایی دانش آموزان در پیاده سازی مفاهیم منطقی زیربنایی و اثبات های ریاضی از طریق برنامه نویسی پایتون معرفی می کند. این رویکرد، متناسب با شهود و نقاط قوت منحصر به فرد جمعیت روزافزون دانشآموزان برنامهنویس، منطق ریاضی را به منطقه راحتی این دانشآموزان میآورد و وضوحی را ارائه میدهد که تنها با درک عمیق عملی و رضایت به دست میآید. از ایجاد کد کاری در حالی که رویکرد منحصر به فرد است، متن از همان مجموعه موضوعاتی که معمولاً در یک دوره کارشناسی یک ترم پوشش داده می شود، پیروی می کند، از جمله منطق گزاره ای و منطق محمولی مرتبه اول، که به اثبات قضیه کامل بودن Gdel ختم می شود. نگاهی گذرا به قضیه ناقص بودن Gdel نیز ارائه شده است. کتاب درسی با مجموعه گسترده ای از وظایف برنامه نویسی، اسکلت کد و تست های واحد همراه است. آشنایی با اثبات ها و مهارت پایه در پایتون فرض می شود.
tag : دانلود کتاب منطق ریاضی از طریق پایتون , Download منطق ریاضی از طریق پایتون , دانلود منطق ریاضی از طریق پایتون , Download Mathematical Logic through Python Book , منطق ریاضی از طریق پایتون دانلود , buy منطق ریاضی از طریق پایتون , خرید کتاب منطق ریاضی از طریق پایتون , دانلود کتاب Mathematical Logic through Python , کتاب Mathematical Logic through Python , دانلود Mathematical Logic through Python , خرید Mathematical Logic through Python , خرید کتاب Mathematical Logic through Python ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.