cookie

Utilizamos cookies para mejorar tu experiencia de navegación. Al hacer clic en "Aceptar todo", aceptas el uso de cookies.

avatar

a pessimistic researcher

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

Mostrar más
Publicaciones publicitarias
1 280
Suscriptores
Sin datos24 horas
+37 días
+2730 días

Carga de datos en curso...

Tasa de crecimiento de suscriptores

Carga de datos en curso...

دوستان کمک 😂 آقا توی فرانسه چرا معلوم نیست که قطارا توی کدوم خط سوار و پیاده میکنن؟ نه توی ایستگاه نوشته نه توی اپلیکیشن هاشون. راهی هست بشه فهمید؟
Mostrar todo...
آپدیتی در راه است...
Mostrar todo...
🔥 28 4💩 3 1👎 1🍓 1🗿 1
خب دوستان، امروز هم جلسه‌ی چهارم و پایانی این رویداد برگزار میشه.
Mostrar todo...
انجمن علمی-دانشجویی ریاضی دانشگاه تهران

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

👍 3💩 1
دوستان جلسه‌ی سوم این رویداد امروز ساعت ۱۸ برگزار می‌شود
Mostrar todo...
انجمن علمی-دانشجویی ریاضی دانشگاه تهران

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

🔥 5👍 1💩 1
پارسال دقیقا همین موقع‌ها بود یکی از دوستانِ کانال بهم پیام داد و گفت میخواد برای کنکور ارشد بخونه و یه گپ و گفت کوتاهی داشتیم. امروز بهم پیام داد و گفت رتبه‌ی تک رقمی علوم کامپیوتر آورده. هم همه حیرتم از همتش هم جوری خوشحالم که انگار خودم رتبه آوردم. روزم خوش شد.
Mostrar todo...
50💩 1
دوستان جلسه‌ی دوم این رویداد امروز ساعت ۱۸:۳۰ آغاز خواهد شد.
Mostrar todo...
انجمن علمی-دانشجویی ریاضی دانشگاه تهران

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

😍 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/
Mostrar todo...
David Nowak

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

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

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

6🔥 3👍 2💩 1
Elige un Plan Diferente

Tu plan actual sólo permite el análisis de 5 canales. Para obtener más, elige otro plan.