Mهمین سوالات رو اگه از کلاد یا جی‌پی‌تی بپرسین به راحتی راهنماییتون میکنن
نه اخه پرسیدم . ی سری جوابای عجیب غریب داد یا برنامه رو مینوشت پیدی اف میکرد چرتو پرت داد .
ولی ممنون 🙏🙏
Amirhossein Amiriسلام دوستان وقت بخیر .
ببخشید من میخوام ی برنامه بنویسم که بتونه دمای و رطوبت ی باکس جوجه کشی رو هر نیم ساعت یا ده دقیقه چک کنه و اگه از ی حدی که تعین میکنم بالا یا پایین تر رفت ی تغیرات کوچیک مثل قطع برق اینا انجام بده .
خود دستگاه ی حالت مانیتورینگ داره که دما و همچیو نشون میشه من فقط میخوام این ب
ببینید یادتون نره، اگه تاحالا کدنویسی نکردید و الان میخواهید این پروژه رو برای یک بخش صنعت واقعی پیاده سازی کنید، ممکنه دچار اشتباه بزرگی بشید!
فرض کنید کد یک باگ داشته باشه،کلاد یا gpt که مسئولیت کد رو گردن نمیگیره! اگر تعداد از جوجه ها کشته شوند، مسئولیتش با شماست و اون شرکت مسئولیت جوجه های تلف شده رو از شما میخواد!
پیشنهاد من اینه بجای چنین پروژه ای با چیز های ساده تر شروع کنید مثلا تولید یک وب ساده با ai
A A A نه به وسیله کلاد می تونی بنویسی دوم یک سری تجهیزات هستن برای همین کار به نظرم تهیه کنی بهتر است حتی دستگاه رطوبت یا دما سنج که فرمان قطع و وصل می ده قیمت اش هم زیاد نیست اینجوری ریسک میاد پایین ولی اگر از کلاد استفاده کردی حتما مشخصات دقیق تجهیزات که داری به اش بگو و با جزییات کامل که کد رو بدون باگ تحویل بده
Amirhossein Amiriسلام دوستان وقت بخیر .
ببخشید من میخوام ی برنامه بنویسم که بتونه دمای و رطوبت ی باکس جوجه کشی رو هر نیم ساعت یا ده دقیقه چک کنه و اگه از ی حدی که تعین میکنم بالا یا پایین تر رفت ی تغیرات کوچیک مثل قطع برق اینا انجام بده .
خود دستگاه ی حالت مانیتورینگ داره که دما و همچیو نشون میشه من فقط میخوام این ب
سلام
شدنیه
یکی از دوستان من(برنامه نویس نبودند اما تجربه هایی داشتند و از کلیات اطلاع داشتند ) که الان توی کار پرورش قارچ هستند ، تقریبا مشابه این کارو انجام دادند با دیپ سیک
البته در حد ۲۰ دقیقه ای یکبار دما توی بله براش ارسال شه رو میدونم ،جزئیات بیشتری ازش نمیدونم
موفق باشید
File
Logical_Methods_The_Art_of_Thinking_Abstractly_and_Roger_Ant · 4.6 MB · click to show
Logical_Methods_The_Art_of_Thinking_Abstractly_and_Roger_Ant · 4.6 MB · click to show
Logical Methods: The Art of Thinking Abstractly and Mathematically by Roger Antonsen, Springer, 2021
3 · 425 · File
FOUNDATION_MATHEMATICS_FOR_COMPUTER_SCIENCE_a_visual_John_Vi · 10.4 MB · click to show
FOUNDATION_MATHEMATICS_FOR_COMPUTER_SCIENCE_a_visual_John_Vi · 10.4 MB · click to show
Foundation Mathematics for Computer Science: A Visual Approach by John Vince, Fourth Edition (2024), Springer
3 · 457 · File
Mathematical_Logic_for_Computer_Science_Mordechai_Ben_Ari_Sp · 13.0 MB · click to show
Mathematical_Logic_for_Computer_Science_Mordechai_Ben_Ari_Sp · 13.0 MB · click to show
Mathematical Logic for Computer Science by Mordechai Ben-Ari, Third Edition (2012), Springer
3 · 466 · Photo
click to show
click to show
🤖 Most people use AI, but very few truly understand it.
اکثریت افراد فقط از هوش مصنوعی (AI) استفاده می‌کنند؛
اما درک درستی از آن ندارند.
✈️ مثل مسافری که فقط سوار هواپیما می‌شود؛
می‌داند چطور از آن استفاده کند و به مقصد برسد،
اما نمی‌داند هواپیما چطور پرواز می‌کند.
❓ اما چرا باید هوش مصنوعی را عمیق‌تر درک کنیم، وقتی می‌توانیم به‌سادگی از آن استفاده کنیم؟
🏗️ تصور کنید یک معمار هستید.
شاید بتوانید بدون دانش عمیق، یک ساختمان ۱ یا ۲ طبقه بسازید؛
اما آیا می‌توانید یک ساختمان ۵۰ طبقه طراحی کنید؟
⚠️ بدون درک Fundamentals، خیلی زود به محدودیت می‌رسید.
🧠 در هوش مصنوعی هم دقیقاً همین اتفاق می‌افتد.
اگر فقط بلد باشید Prompt بنویسید و از ابزارهایی مثل ChatGPT استفاده کنید،
در نهایت فقط یک User خواهید بود.
اما وقتی مفاهیم، اصول و نحوه عملکرد AI را درک کنید،
می‌توانید از آن هوشمندانه‌تر استفاده کنید،
مسائل پیچیده‌تری را حل کنید
و حتی با آن چیزهای جدید بسازید. 🚀
🧠 ARINMIND
Learn AI. Understand AI. Build with AI.
#AI #ArtificialIntelligence #GenerativeAI #DataScience #AIEducation @arinmind
4 · 199 · ک این یعنی که من کلاس پنجم بودم و توی شور و حال جام جهانی بودیم که خداداد عزیزی گل زد به استرالیا ( با اون کیفیت خاص پخش از شبکه سه که دیگه مشابه اش ندیدم انگار فیلم سینمایی بود!) ولی یه چیز درد آور هست که اون موقع که ما فوتبال میدیدیم، اونا داشتن روی ساخت امروز کار می کردن و اگر امروز قدم های سرریع برنداریم ، 28 سال دیگه یادآوری امروز رو می کنیم ...
Amirhossein Amiriسلام دوستان وقت بخیر .
ببخشید من میخوام ی برنامه بنویسم که بتونه دمای و رطوبت ی باکس جوجه کشی رو هر نیم ساعت یا ده دقیقه چک کنه و اگه از ی حدی که تعین میکنم بالا یا پایین تر رفت ی تغیرات کوچیک مثل قطع برق اینا انجام بده .
خود دستگاه ی حالت مانیتورینگ داره که دما و همچیو نشون میشه من فقط میخوام این ب
سلام. یه برد آردوینو بخرین بگید چت جی پی تی کدش رو براتون مینویسه. برد رو با usb وصل میکنین به کامپیوتر یه نرم افزار خود آرودینو داره دانلود میکنید نصب میکنید کد رو با همون میریزین تو برد. با جی پی تی بگین راهنماییتون میکنه.
این ساده ترین کاری هست که میتونین بکنین
استخدام کارشناس فروش (خانم) — آکادمی رضا شهابی
📍 محل: کرمان (فقط ساکنان استان کرمان)
🕐 ساعات کاری: شنبه تا چهارشنبه، ۸:۳۰ تا ۱۳ (پاره‌وقت)
💰 حقوق: ۱۲ تا ۱۵ میلیون ثابت + پورسانت پلکانی بدون سقف + پاداش
شرایط:
فن بیان و روابط عمومی قوی
تسلط به اینستاگرام و ابزارهای دیجیتال
آشنایی با AI (امتیاز مثبت)
سابقه کار لازم نیست (آموزش داده می‌شود)
وظایف اصلی:
تماس و پیگیری لیدهای اینستاگرام
ثبت و مدیریت لیدها در CRM
فیکس جلسات مشاوره و پیگیری تا مرحله پرداخت
گزارش روزانه و هفتگی
استاندارد: حداقل ۳۰ تماس موفق در هر شیفت
مزایا: بیمه تامین اجتماعی، آموزش فروش High Ticket، امکان رشد و ارتقا، افزایش حقوق بر اساس عملکرد، پنجشنبه و جمعه تعطیل
آدرس: کرمان، جاده تهران، روبروی فایتون، ساختمان صالح المهدی
✅ در صورت تمایل پی‌وی مراجعه کنید و رزومه بفرستید.
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan, Second Edition, Cambridge University Press, 2004
این کتاب به‌نظرم یکی از نمونه های خیلی خوب از پیوند بین منطق و علم کامپیوتر هست (یعنی کتابی میان‌رشته‌ای‌ست)، یعنی منطق رو صرفاً به عنوان یک موضوع ریاضی مستقل بررسی نمی‌کنه، بلکه از ابتدا دنبال اینکه با استفاده از منطق، سیستم های کامپیوتری و نرم‌افزار رو مدل کنیم و درباره‌ی درستی رفتار اون‌ها به‌صورت صوری استدلال کنیم... ایده‌ی مرکزی کتاب دقیقاً همین هست که برای یک سیستم M و یک specification یا formula مثل φ، بتونیم به صورت دقیق بررسی کنیم که آیا M ⊨ φ برقرار هست یا نه و حتی در بسیاری از موارد این رابطه رو به‌صورت الگوریتمی محاسبه کنیم.
کتاب از Propositional Logic شروع میکنه... جایی که علاوه بر formal language و semantics، مباحثی مثل natural deduction, soundness, completeness, normal forms, satisfiability, validity و SAT solving و... رو پوشش میده... حتی صرفاً به تعریف SAT بسنده نمی‌کنه و وارد طراحی و تحلیل solver ها، از یک linear solver تا روش های با پیچیدگی بالاتر، میشه.
بعد وارد Predicate Logic میشه و از syntax, terms, formulas, free و bound variables و substitution می‌گذره و به proof theory, models, semantic entailment, undecidability و expressiveness و... می‌رسه. در ویرایش دوم هم مباحثی از model theory مثل Compactness Theorem و Löwenheim–Skolem Theorem هم اضافه شده و حتی ارتباط منطق با ابزارهایی مثل Alloy برای مدل‌سازی و exploration سیستم‌های under-specified بررسی میشه.
از اینجا به بعد، به‌نظرم کتاب واقعاً وارد وهله یا قلمرو جذاب خودش میشه، یعنی Verification by Model Checking... در این بخش Linear-Time Temporal Logic (LTL) و Computational Tree Logic (CTL), specification patterns, model checking, fairness و الگوریتم های model checking بررسی میشن و در کنار توضیح نظری، ابزار NuSMV هم به‌صورت عملی وارد بحث میشه... بعد هم fixed-point characterization of CTL و مباحث مربوط به monotone functions و correctness الگوریتم ها مطرح میشه.
فصل بعدی کتاب هم میره سراغ Program Verification، یعنی specification و verification کد، Hoare Lo
5 · 461 · G File
Logic_in_Computer_Science_Modelling_and_Reasoning_about_Mich · 2.1 MB · click to showLogic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan, Second Edition, Cambridge University Press, 20046 · 466 ·
🎮 پروژه «Scrap Land» | دعوت به همکاری
سلام به همه 👋
ما در حال ساخت یک بازی ۲بعدی بقا، جهان‌باز، تعاملی و داستانی با نام Scrap Land هستیم.
بازیکن وارد یک دنیای وسیع و قابل کاوش میشه و باید برای بقا منابع مختلف مثل چوب، سنگ، آهن و ضایعات رو جمع‌آوری کنه، تجهیزات و آیتم‌های مختلف بسازه، محیط رو کشف کنه و در کنار بخش بقا، داستان بازی و اتفاقات مختلف رو تجربه کنه.
یکی از بخش‌های اصلی پروژه، تعامل بازیکن با دنیای بازی و انتخاب‌های داستانی هست؛ یعنی قرار نیست فقط یک بازی بقا باشه، بلکه داستان و تصمیم‌های بازیکن هم در روند بازی نقش دارن.
پروژه هنوز در مراحل اولیه‌ست و داریم تیم توسعه رو شکل می‌دیم.
فعلاً هم موتور و زبان برنامه‌نویسی نهایی مشخص نشده و قراره بر اساس نیازهای پروژه و اعضای تیم درباره‌ش تصمیم بگیریم.
اگر برنامه‌نویس، گیم‌دولوپر یا فردی با مهارت مرتبط هستی و دوست داری توی ساخت یک پروژه مستقل از مراحل اولیه همکاری کنی، پیام بده تا بیشتر درباره پروژه و نحوه همکاری صحبت کنیم. 🚀