a pessimistic researcher

@apessimisticresearcher

جهان ما از دیتابیس و فرمال متد شروع میشه و به پوچی ختم میشه!

Ko'proq ko'rsatish

Eron111 407Forsiy104 429Taʼlim67 710

Reklama postlari

1 280

Obunachilar

Ma'lumot yo'q24 soatlar

+37 kunlar

+2730 kunlar

593

Post ko'rishlar

Ma'lumot yo'q24 soatlar

Ma'lumot yo'q48 soatlar

46.33%

Muloqot nisbati

Ma'lumot yo'q24 soatlar

Ma'lumot yo'q48 soatlar

Izohlarni

Ma'lumot yo'q7 kunlar

Ma'lumot yo'q30 kunlar

Ma'lumot yo'q

Kuniga postlar

~ 38

Reaksiyalar

~ 3

Izohlari

~ 8

Qaytarishlar

Kanalning o'sishi
Post qamrovi
ER - jalb qilish nisbati

Ma'lumot yuklanmoqda...

آپدیتی در راه است...

Hammasini ko'rsatish...

🔥 28❤ 3💩 3⚡ 1👎 1🍓 1🗿 1

خب دوستان، امروز هم جلسه‌ی چهارم و پایانی این رویداد برگزار میشه.

Hammasini ko'rsatish...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری جلسه چهارم Towards a Big-step Higher-Order Mathematical Operational Semantics پویا پرتو ⏰ یکشنبه ۱۳ خرداد، ساعت ۱۸ این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۰۷ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

👍 3💩 1

دوستان جلسه‌ی سوم این رویداد امروز ساعت ۱۸ برگزار می‌شود

Hammasini ko'rsatish...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری جلسه سوم آشنایی با نظریه زبان‌های برنامه‌نویسی اشا سروش‌پور ⏰ شنبه ۱۲ خرداد، ساعت ۱۸ این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

🔥 5👍 1💩 1

پارسال دقیقا همین موقع‌ها بود یکی از دوستانِ کانال بهم پیام داد و گفت میخواد برای کنکور ارشد بخونه و یه گپ و گفت کوتاهی داشتیم. امروز بهم پیام داد و گفت رتبه‌ی تک رقمی علوم کامپیوتر آورده. هم همه حیرتم از همتش هم جوری خوشحالم که انگار خودم رتبه آوردم. روزم خوش شد.

Hammasini ko'rsatish...

❤ 50💩 1

دوستان جلسه‌ی دوم این رویداد امروز ساعت ۱۸:۳۰ آغاز خواهد شد.

Hammasini ko'rsatish...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری جلسه دوم دنیای برهان‌ها و نرم‌افزار‌های بدون باگ محسن لیاقت ⏰ دوشنبه ۷ خرداد، ساعت ۱۸:۳۰ این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

😍 11🤪 1

"PhD in Formal Proofs @ University of Lille" ————————————————————— Dear all, We are pleased to announce the availability of 1-2 PhD positions at the University of Lille, starting on September 1, 2024, as part of a European project. These positions will focus on the intersection of formal proof in Coq, low-level code, mobile code, certified compilation, and separation logic. If you are interested in applying, please email me with a brief description of your background and interests, along with your CV. Your CV should include the names and contact details of two references. Best regards, David -- David Nowak https://www.cristal.univ-lille.fr/~nowakd/

Hammasini ko'rsatish...

David Nowak

David Nowak - Centre de Recherche en Informatique, Signal et Automatique de Lille - CRIStAL - UMR 9189 - CNRS and University of Lille

👍 4💩 1

لینک رو هم گذاشتن

Hammasini ko'rsatish...

❤ 1

لینک رو می‌ذارن توی کانال به زودی، یادش بخیر همیشه درب قدس رو سر ساعت ۶ می‌بستن :)) چه روزایی بود اسماعیل

Hammasini ko'rsatish...

❤ 4👍 1

دوستان نمی‌دونم تا چه اندازه با رویداد "عصرانه ریاضی" بچه‌های انجمن علمی ریاضی دانشگاه تهران آشنایید، ولی واقعا یکی از بهترین‌ها هستند. به تازگی قراره یک عصرانه‌ی چهار جلسه‌ای برگزار کنند با عنوان "از منطق و Type Theory تا Formal Verification". توی این پست از کانال‌شون می‌تونید توضیحات این رویداد رو بخونید. توی این چهار جسله از مقدمات تایپ تئوری، لامبدا کلکولس، تئورم پروور و تئوری PL براتون صحبت می‌کنند. فرصت بسیار مناسبیه برای وارد شدن به این دنیای جذاب. از بین ارائه دهندگان من آشا رو می‌شناسم که کارش واقعا درسته. جلسه‌ی اول این رویداد با عنوان "Type Theory and Lambda Calculus" امروز ساعت ۶ عصر به شکل حضوری و مجازی برگزار میشه. توی این پست از کانالشون می‌تونید توضیحات این جلسه رو بخونید. هنوز محل برگزاری این جلسه رو اطلاع ندادند، ولی من خودم فصد دارم که این رویداد رو شرکت کنم. به شما هم بسیار توصیه می‌کنم که شرکت کنید.

Hammasini ko'rsatish...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی معرفی عصرانه ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری

❤ 6🔥 3👍 2💩 1

🎧 جستجوی موزیک در آهنگیفای

Hammasini ko'rsatish...

Mohsen Namjoo - Be Rooze Baran.mp313.95 MB

❤ 21💩 21

Boshqa reja tanlang

Joriy rejangiz faqat 5 ta kanal uchun analitika imkoniyatini beradi. Ko'proq olish uchun, iltimos, boshqa reja tanlang.