Telegram Group & Telegram Channel
سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "S
_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران
: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

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

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic



tg-me.com/Research_Int_AUTMathCS/248
Create:
Last Update:

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ
: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "S
_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران
: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

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

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic

BY Research_Int_MathCS_AUT




Share with your friend now:
tg-me.com/Research_Int_AUTMathCS/248

View MORE
Open in Telegram


telegram Telegram | DID YOU KNOW?

Date: |

How Does Bitcoin Mining Work?

Bitcoin mining is the process of adding new transactions to the Bitcoin blockchain. It’s a tough job. People who choose to mine Bitcoin use a process called proof of work, deploying computers in a race to solve mathematical puzzles that verify transactions.To entice miners to keep racing to solve the puzzles and support the overall system, the Bitcoin code rewards miners with new Bitcoins. “This is how new coins are created” and new transactions are added to the blockchain, says Okoro.

Why Telegram?

Telegram has no known backdoors and, even though it is come in for criticism for using proprietary encryption methods instead of open-source ones, those have yet to be compromised. While no messaging app can guarantee a 100% impermeable defense against determined attackers, Telegram is vulnerabilities are few and either theoretical or based on spoof files fooling users into actively enabling an attack.

telegram from ye


Telegram Research_Int_MathCS_AUT
FROM USA