دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formalisieren und Beweisen: Logik für Informatiker
دانلود کتاب رسمی و اثبات: منطق برای دانشمندان کامپیوتر
مشخصات کتاب
Formalisieren und Beweisen: Logik für Informatiker
ویرایش: 1
نویسندگان: Dirk Siefkes (auth.)
سری: Lehrbuch
ISBN (شابک) : 9783528047573, 9783322856210
ناشر: Vieweg+Teubner Verlag
سال نشر: 1990
تعداد صفحات: 275
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 37 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب رسمی و اثبات: منطق برای دانشمندان کامپیوتر: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Formalisieren und Beweisen: Logik für Informatiker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رسمی و اثبات: منطق برای دانشمندان کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رسمی و اثبات: منطق برای دانشمندان کامپیوتر
گرگوری بیتسون - زیست‌شناس، انسان‌شناس، روان‌پزشک، نظریه‌پرداز سیستم‌ها - در مقدمه کتاب ذهن و طبیعت خود داستانی را بیان می‌کند: مردی این سوال را در رایانه‌اش وارد می‌کند: "آیا هرگز مانند یک انسان فکر خواهید کرد؟ حساب کنید!" کامپیوتر محاسبه می کند و محاسبه می کند و در نهایت خروجی می دهد: داستانی برای من رخ می دهد. داستان این کتاب درباره مردم است. زمانی که در سال 1982 به همراه پیتر پاداویتز، سیمونه پریبنو و آندریاس شولزه برای تدریس درس منطق برای دانشمندان کامپیوتر به من کمک کرد، "هر بخش را با یک مثال شروع کنید" پیشنهاد کرد. «پرسش‌ها و تکالیف بهتر از اصطلاحات و جملات کار را تحریک می‌کنند.» به همین دلیل است که هر بخش از این کتاب با داستانی آغاز می‌شود که به عنوان ماده‌ای کاربردی عمل می‌کند: مقدمه‌ای با مشکل میمون با موز، منطق گزاره‌ای با پرتاب توپ. logeiei، منطق باز یک مرتبه اول با مثال معمار و منطق مرتبه اول کامل با هندسه اقلیدس. بنابراین هر بخش با وظایف و سوالات ضروری برای درک به پایان می رسد. به همین دلیل است که هنگام ورق زدن، دلیل بسیار کمی می بینید: من ترجیح می دهم به جای شروع با قضیه، یک برهان را از یک سؤال ایجاد کنم و نتیجه را به صورت یک قضیه فرموله کنم. به همین دلیل است که مضامین کتاب جنبه رسمی سازی و فهم، فعالیت ها و نه منطق و انفورماتیک است. من در کتاب اساساً به مضامین پایه کلاسیک منطق ریاضی می پردازم: نتیجه گیری منطقی، اشتقاق، کامل بودن، نظریه منطقی، سیستم بدیهیات، اما علاقه ای به ارائه این اصطلاحات و ویژگی های آنها ندارم.
توضیحاتی درمورد کتاب به خارجی
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schlieBlich aus: Dabei flillt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an", schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik for Informatiker durchzufiihren. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. " Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.
فهرست مطالب
Front Matter....Pages I-XIII
Einführung....Pages 1-6
Front Matter....Pages 7-9
Formeln schreiben und benutzen....Pages 10-25
Allgemeingültige Formeln und logisches Folgern....Pages 26-38
Entscheidungsverfahren und Normalformen....Pages 39-48
Ableiten....Pages 49-75
Front Matter....Pages 77-80
Situationen strukturieren und durch Formeln beschreiben....Pages 81-98
Mit Formeln und Strukturen umgehen....Pages 99-119
Strukturieren, Formalisieren, Axiomatisieren....Pages 120-133
Ableiten....Pages 134-147
Front Matter....Pages 149-151
Quantorenlogik....Pages 152-164
Finitisieren und mechanisieren....Pages 165-180
Geometrie und Zahlen axiomatisieren....Pages 181-197
Stärken und Schwächen....Pages 198-224
Back Matter....Pages 225-262
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Responses to the InterAcademy Council questionnaire about IPCC processes and procedures
