stanford-oval/wikipedia huggingface dataset:
برنامه‌ریزی منطقی قیاسی
معنای غیررسمی و حل مسئله > مثال ۳

برنامه منطق قیاسی زیر یک مدل ساده از متابولیسم لاکتوز باکتری E.coli را توصیف می‌کند. برنامه، P، (در اولین قاعده خود) توصیف می‌کند که E.coli می‌تواند از لاکتوز قند تغذیه کند اگر دو آنزیم پرمیز و گالاکدوسیداس را تولید کند. مانند همه آنزیم‌ها، این‌ها در صورتی ساخته می‌شوند که توسط ژن کد گذاری شده باشند. دو آنزیم پرمیز و گالاکدوسیداس با دو ژن lac(y) و lac(z) کد می‌شود. در یک خوشه از ژن‌ها به نام اپرون (lac(X)) که وقتی مقادیر (amt)گلوکز پایین و لاکتوز پایین هستندیا زمانی که هر دو در سطح متوسط قرار دارند، بیان می‌شود. اطلاعات ناقص باید در هر مسئله مشخص شود. محدودیت انسجام، IC، بیان می‌کند که مقدار هر ماده (S)تن‌ها می‌تواند یک مقدار داشته باشد.
دانش دامنه (P)
تغذیه (لاکتوز): - ایجاد (پرمیز)، ساخت (گالاکتوزیداز).
ساختن (آنزیم): - کد (ژن، آنزیم)، بیان (ژن).
بیان (lac (X)): - مقدار (گلوکز، کم)، مقدار (لاکتوز، سلام).
بیان (lac (X)): - مقدار (گلوکز، متوسط)، مقدار (لاکتوز، متوسط).
کد (lac(y) و پرمیز)
کد (lac(z) و گالاکدوسیداس)
دمای (کم): - مقدار (گلوکز، کم).
محدودیتهای یکپارچگی (IC)
نادرست: - مقدار (S, V1)، مقدار (S, V2)، V1 ≠ V2.
قیاس (A)
گزاره - قیاسی (مقدار)
هدف این مسئله عبارت است از  G={\text{feed(lactose)}}. این مسئله به عنوان یک نظریه توضیح داده می‌شود یا به عنوان وضعیتی که باید با پیدا کردن یک برنامه به دست آید. این هدف دارای دو توضیح است:
\Delta _{1}=\{{\text{amount(lactose, hi), amount(glucose, low)}}\}
\Delta _{2}=\{{\text{amount(lactose, medium), amount(glucose, medium)}}\}
تصمیم‌گیری که از دو طرف اتخاذ می‌شود می‌تواند به اطلاعات اضافی که در دسترس هستندبستگی داشته باشد، به عنوان مثال ممکن است مشخص شود که وقتی سطح گلوکز پایین باشد، ارگانیسم، رفتار خاصی را نشان می‌دهد. در این مدل اطلاعات اضافی این است که دمای ارگانیسم پایین است و با مشاهده حقیقت یا نادرستی این توضیح امکان‌پذیر است که به ترتیب اولین یا دومین توضیح را انتخاب کند.
معانی رسمی

معناشناسی صوری مفهوم اصلی توضیح قیاسی در ALP را می‌توان به روش زیر تعریف کرد:
با توجه به یک برنامه منطق قیاسی  \langle P,A,{\mathit {IC}}\rangle توضیح قانع‌کننده‌ای برای یک مسئله  Gمحموعه  \Delta  در گزاره‌های قیاسی است به طوری که:
P\cup \Delta \models G
P\cup \Delta \models IC
P\cup \Delta سازگاری (منطق ریاضی) دارد.
این تعریف انتخاب معانی پایه برنامه‌نویسی منطقی را باز می‌کند که از طریق آن ما معنی دقیق رابطه  \models و مفهوم ثبات برنامه‌های منطقی (گسترش یافته) را می‌فهمیم. هر کدام از معانی مختلف برنامه‌نویسی منطقی مانند تکمیل، معانی پایدار یا معقول می‌تواند (و در عمل کاربردی باشد)، مفاهیم مختلف توضیحات قیاسی و اشکال مختلف الگوریتم‌های ALP را ارائه دهد. تعریف فوق یک دیدگاه خاص در مورد رسمیت دادن نقش محدودیت‌های یکپارچگی {IC} به عنوان محدودیت در راه حل‌های احتمالی ابداعیدر نظر می‌گیرد. این امر مستلزم آن است که این برنامه‌ها از طریق برنامه منطقی توسعه‌یافته با یک راه‌حل قیاسی تعمیم یابند، بنابراین در هر مدل از برنامه منطق بسط یافته، الزامات محدودیت‌ها به درستی برآورده می‌شود. در عمل، در بسیاری از موارد، این دو روش تعیین نقش محدودیت‌های تمامیت همزمان با برنامه منطق و گسترش آن همیشه یک مدل منحصر به فرد دارند. بسیاری از سیستم‌های ALP از دیدگاه تطبیقی از محدودیت‌های درستی استفاده می‌کنند، زیرا این دیدگاه می‌تواند به راحتی بدون نیاز به هر روش تخصصی اضافی برای رضایت از محدودیت‌ها به درستی اجرا شود و محدودیت‌ها را به همان روش به عنوان هدف حل کند. توجه داشته باشید که در بسیاری از موارد عملی، شرط سوم در این تعریف رسمی از یک توضیح قیاسی درALP یا به‌طور جزئی برطرف می‌شود یا در شرط دوم از طریق استفاده از محدودیت‌های یکپارچگی خاص که سازگاری را ثبت می‌کنند، وجود دارد.
پیاده‌سازی و سیستم

بسیاری از پیاده‌سازی‌های ALP، مدل محاسباتی SLD را برای برنامه‌نویسی منطقی گسترش می‌دهند.ALP همچنین می‌تواند با پیوند آن با برنامه تنظیم پاسخ (ASP)، که در آن سیستم‌های ASP می‌تواند مورد استفاده قرار گیرد، اجرا شود. نمونه‌هایی از سیستم‌های رویکرد سابق عبارتند از ACLP, A-system, CIFF, SCIFF, ABDUAL و ProLogICA.
امنیت لایه انتقال

پروتکل امنیتی لایهٔ انتقال (Transport Layer Security)، بر پایه لایهٔ سوکت‌های امن (Secure Sockets Layer) که یکی از پروتکل‌های رمزنگاری است و برای تأمین امنیت ارتباطات از طریق اینترنت بنا شده‌است. برای اطمینان از هویت طرف مقابل و تبادل کلید متقارن از گواهی X.509 و رمزنگاری نامتقارن استفاده می‌کند. این پروتکل امنیت انتقال داده‌ها را در اینترنت برای مقاصدی چون کار کردن با پایگاه‌های وب، پست الکترونیکی، نمابرهای اینترنتی و پیام‌های فوری اینترنتی به کار می‌رود. اگرچه TLS و SSL با هم تفاوت‌های اندکی دارند ولی قسمت عمده‌ای از این پروتکل کم و بیش یکسان مانده‌است.
TLS و SSL درمدل TCP/IP عمل رمزنگاری را در لایه‌های پایینی لایه کاربرد انجام می‌دهند ولی در مدل OSI در لایه جلسه مقداردهی را شده و در لایه نمایش کار می‌کنند: ابتدا لایه جلسه با استفاده از رمزنگاری نامتقارن تنظیمات لازم برای رمزنگاری را انجام می‌دهد و سپس لایه نمایش عمل رمزگذاری ارتباط را انجام می‌دهد. در هر دو مدل TLS و SSL به نمایندگی از لایه انتقال کار می‌کنند.
لایهٔ سوکت‌های امن (Secure Sockets Layer) یا اس‌اس‌ال (SSL) پروتکلی است که توسط شرکت Netscape برای ردّ و بدل کردن سندهای خصوصی از طریق اینترنت توسعه یافته‌است. SSL از یک کلید خصوصی برای به رمز درآوردن اطلاعاتی که بر روی یک ارتباط SSL منتقل می‌شوند استفاده می‌نماید. هر دو مرورگر Netscape Navigator و Internet Explorer (و امروزه تمام مرورگرهای مدرن) از این پروتکل پشتیبانی می‌نمایند. همچنین بسیاری از وب‌سایت‌ها برای فراهم کردن بستری مناسب جهت حفظ کردن اطلاعات محرمانهٔ کاربران (مانند شمارهٔ کارت اعتباری) از این پروتکل استفاده می‌نمایند. طبق آنچه در استاندارد آمده‌است. URLهایی که نیاز به یک ارتباط از نوع SSL دارند با:https به جای:http شروع می‌شوند.
SSL یک پروتکل مستقل از لایه برنامه‌است (Application Independent). بنابراین، پروتکل‌هایی مانند FTP, HTTP و شبکه راه دور قابلیت استفاده از آن را دارند. با این وجود SSL برای پروتکل‌های FTP, HTTP و آی‌پی‌سک بهینه شده‌است. درssl از دو کلید عمومی وخصوصی استفاده می‌شودهمچنین درssl از دو حالت متقارن ونامتقارن نیز می‌توان نام بردکه می‌تواند همان بحث کلید عمومی واختصاصی باشد به اینصورت که در رمزنگاری متقارن ازدو کلیدعمومی توسط serverوclient استفاده می‌شود که در این صورت مطالب رمزنگاری شده از امنیت برخوردار نخواهد شد زیرا کلید مشترک مابین (سرورومشتری) توسط شخص ثالث می‌تواند استراق سمع یاهک شودبنابراین از حالت نامتقارن استفاده می‌شوددر رمزنگاری نامتقارن ازدوکلیدBوAاستفاده می‌شودیعنی اگر مطالب باکلیدA رمزنگاری شوددیگر باهمان کلیدرمزگشایی نخواهد شدفقط باکلیدB که متناظرباکلیدA می‌باشدرمزگشایی خواهدشد.
تعریف

پروتکل TLS به برنامه‌های Client/Server اجازه می‌دهد که در شبکه از طریقی که از eavesdropping(شنود)، message forgery(جعل پیام) جلوگیری می‌کند با یکدیگر ارتباط برقرار کنند. authentication TLS(احراز هویت) و communications confidentiality(ارتباط مطمئن) در اینترنت را از طریق استفاده از cryptography(رمز نگاری) فراهم می‌کند.
Client باید برای Server مشخص کند که آیا می‌خواهد یک اتصال TLS داشته باشد با نه.
دو راه برای رسیدن به این هدف وجود دارد: یک راه این است که از شماره پورت متفاوتی برای اتصال TLS استفاده شود (برای مثال پورت ۴۴۳ پروتکل امن انتقال ابرمتن) و دیگر اینکه اختصاص یک پورت مشخص از طریق سرور به کلاینت، که کلاینت آن را درخواست کرده باشد با استفاده از یک مکانیسم پروتکل خاص (برای مثال STARTTLS).

زمانی که کلاینت و سرور تصمیم گرفتند از اتصال TLS استفاده کنند، به مذاکره با استفاده از روش handshaking می‌پردازند.
سپس سرور و کلاینت بر روی پارامترهای مختلفی که برای ایجاد امنیت اتصال استفاده می‌شود به توافق می‌رسند:
کلاینت اطلاعاتی را که سرور برای برقراری ارتباط با استفاده از SSL به ان نیاز دارد را ارسال می‌کند. مانند:شماره نسخه SSL کلاینت، تنظیمات رمزگذاری و سایر اطلاعاتی که سرور ممکن است به آن نیاز داشته باشد.
سرور اطلاعاتی را که کلاینت برای برقراری ارتباط با استفاده از SSL به ان نیاز دارد را برایش ارسال می‌کند. مانند:شماره نسخه SSL سرور، تنظیمات رمزگذاری و سایر اطلاعاتی که کلاینت به آن نیاز دارد. سرور همچنین گواهینامه خود را برای کلاینت ارسال می‌کند و اگر کلاینت درخواست منبعی از سرور داشته باشد، کلاینت باید احراز هویت شود و باید گواهینامه کلاینت برای سرور ارسال شود.
با اطلاعات دریافتی از سرور، کلاینت می‌تواند سرور را احراز هویت کند. اگر سرور تصدیق نشود، به کاربر هشدار داده می‌شود که عمل رمزگذاری و تصدیق نمی‌تواند انجام گیرد. اگر سرور به درستی تصدیق شد کلاینت به مرحله بعد می‌رود.
با استفاده از اطلاعات به دست آمده، کلاینت یک pre-master secret ایجاد کرده و آن را ب سرور ارسال می‌کند.
اگر سرور از کلاینت بخواهد هویتش را ثابت کند، کلاینت کلیه اطلاعات لازم و گواهی خود را برای سرور ارسال می‌کند.
اگر کلاینت تصدیق نشود، ارتباط قطع می‌شود اما اگر به درستی تصدیق شود، سرور از کلید خصوصی خود برای یاز کردن pre-master secret استفاده می‌کند.
کلاینت و سرور از master secret برای تولید کلید جلسات استفاده می‌کنندکه یک کلید متقارن است و برای رمزگذاری و رمزگشایی اطلاعات مبادله شده استفاده می‌شود.
وقتی کلاینت پیغامی برای سرور ارسال می‌کند با استفاده از کلید جلسه آن را رمز می‌کند.
وقتی سرور پیغامی برای کلاینت ارسال می‌کند با استفاده از کلید جلسه آن را رمز می‌کند.
اکنون SSL handshake کامل است و ارتباط شروع می‌شود. کلاینت و سرور از کلید جلسه برای رمزگذاری و رمزگشایی اطلاعاتی که برای هم می‌فرستند استفاده می‌کنند.

اگر یکی از قدم‌های بالا با شکست مواجه شود TLS دچار شکست شده و ارتباط برقرار نمی‌شود.

در قدم سوم مشتری باید گواهی سرور را به درستی چک کند تا باعث بروز مشکل نشود.
تاریخچه > برنامه‌نویسی امن

تلاش‌های تحقیقاتی در اوایل نسبت به امنیت در لایه انتقال شامل برنامه‌نویسی شبکه‌ای امن و رابط برنامه‌نویسی کاربردی بود. در سال ۱۹۹۳ به بررسی رویکرد داشتن یک لایه انتقال امن، به منظور تسهیل مقاوم‌سازی برنامه‌های کاربردی موجود در شبکه با اقدامات امنیتی پرداخته شد.
تاریخچه > ۳٫۰، ۲٫۰، 1.0 SSL

پروتکل SSL در اصل توسط Netscape توسعه داده شد. نسخه ۱٫۰ آن برای استفاده عمومی نبود. نسخه ۲٫۰ آن در سال ۱۹۹۵ منتشر شد که تعدادی نقص‌های امنیتی داشت و منجر به تولید نسخه ۳٫۰ شد. SSL 3.0 که در سال ۱۹۹۶ منتشر شد یک طراحی مجدد کامل از پروتکل‌های تولید شده بود.
تاریخچه > TLS 1.0

این پروتکل در سال ۱۹۹۹ به عنوان ارتقا یافتهٔ نسخه SSL 3.0 تعریف شد. تفاوت چشمگیری بین این پروتکل و SSL 3.0 وجود ندارد و می‌توان گفت این پروتکل SSL 3.0 را کامل کرده‌است.
تاریخچه > TLS 1.1

این پروتکل در سال ۲۰۰۶ تعریف شد و توسعه یافته TLS 1.0 بود.

تفاوت‌های قابل توجهی که در این نسخه وجود دارد:
حفاظت دربرابر حملات (Cipher block chaining (CBC اضافه شده‌است.
IV implicit با IV explicit جایگزین شده‌است.
تاریخچه > TLS 1.2

در سال ۲۰۰۸ تولید شد. مشخصات TLS 1.1 را دارد. تفاوتی که این پروتکل دارد این است که MD5-SHA-1 با SHA-256 جایگزین شده‌است.
برنامه‌های کاربردی

در طراحی برنامه‌های کاربردی، TLS معمولاً در بالای تمامی پروتکل‌های لایه انتقال پیاده‌سازی می‌شود و پروتکل‌های برنامه‌های کاربردی مانند HTTP, FTP, SMTP, NNTP, XMPP، را کپسوله می‌کند. با استفاده از پروتکل‌های انتقال داده گرام مانند UDP و پروتکل کنترل ازدحام داده(DCCP)استفاده می‌شود.
برنامه‌های کاربردی > وب سایت‌ها

یک استفاده برجسته از TLS این است که برای امن کردن ترافیک بین وب سایت‌ها و مرورگرها استفاده می‌شود.
برنامه‌های کاربردی > تبادل کلید

در پیاده‌سازی‌های نخستین لایهٔ سوکت‌های امن، به علّت محدودیت‌های اعمال شده بر روی صادرات تکنولوژی رمزنگاری از طرف دولت ایالات متحده، از کلیدهای متقارن با طول ۴۰ استفاده می‌شد. قبل از اینکه کلاینت و سرور به تبادل اطلاعات حفاظت شده توسط TLS بپردازند باید بر روی یک کلید رمزگذاری و یک روش رمزگذاری توافق کنندتا مبادلهٔ امنی داشته باشند.

متدهایی که برای مبادله کلید استفاده می‌شود:

تولید کلیدهای عمومی خصوصی باRSA, Diffie-Hellman, ephemeral Diffie-Hellman, ECDH, ephemeral Elliptic Curve Diffie-Hellman, anonymous Diffie-Hellman و PSK.

روش توافق کلید TLS_DH_anon سرور و کلاینت را احراز هویت نمی‌کند به همین دلیل به ندرت استفاده می‌شود.
SSL

لایه سوکت امن (SSL) توسط Netscape طراحی شد و نسخه ۳ آن به صورت استاندارد اینترنت درآمد. معماری SSL به صورت دولایه‌ای است که روی TCP قرار گرفته‌است. لایه اول بالای لایه حمل قرار گرفته‌است و لایه دوم در لایه کاربرد است. قسمتی از SSL که در لایه دوم قرار می‌گیرد مربوط به سرویس‌های مدیریتی است و شامل پروتکل دست دادن، پروتکل تغییر مشخصات رمز کننده و پروتکل هشدار است. SSL اجازه می‌دهد که بین کلاینت و سرور یک جلسه ایجاد شود و از آن طریق هر تعداد اتصال امن امکان‌پذیر باشد. از نظر تئوری بین یک کلاینت و یک سرور می‌تواند بیش از یک جلسه وجود داشته باشد و در عمل فقط یک جلسه به وجود می‌آید.

یک جلسه توسط پروتکل دست دادن ایجاد می‌شود و مجموعه‌ای از پارامترهای امنیتی را تعریف می‌کند که به صورت اشتراکی در اتصالات مربوط به آن جلسه استفاده می‌شوند. برای هر جلسه و هر اتصال به یک سری پارامترها نیاز است.
SSL > پروتکل رکورد در SSL

این پروتکل مربوط به لایه اول SSL است که دو سرویس محرمانگی و احراز هویت را به‌واسطهٔ کلیدهایی که در پروتکل دست دادن ساخته می‌شوند فراهم می‌کندو در این پروتکل محرمانگی توسط الگوریتم رمز متقارن و احراز اصالت توسط MAC فراهم می‌شود. این پروتکل شامل مراحل زیر است:
قطعه قطعه کردن: داده کاربر تقسیم‌بندی می‌شود.
فشرده سازی: SSL دارای یک الگوریتم فشرده سازیست که در نسخه ۳٫۰ اختیاری است.
کد احراز اصالت پیام
رمزگذاری: قطعه فشرده شده به همراه MAC رمز می‌شوند.
سرآیند: سرآیند به ابتدای قطعه رمز شده می چسپد.
SSL > پروتکل تغییر مشخصات رمز در SSL

این پروتکل ساده‌ترین پروتکل مربوط به لایه دوم است که تنها یک بایت با مقدار یک دارد. هدف از این پیام یک بایتی تغییر اطلاعات رمزگذاری مربوط به ارتباط موجود است که در واقع وضعیت معلق را به وضعیت جاری کپی می‌کند.
SSL > پروتکل هشدار در SSL

این پروتکل به منظور اعلام هشدارهای SSL به طرفین اتصال استفاده می‌شود. مربوط به لایه دوم است و از ۲ بایت تشکیل شده‌است. این ۲ بایت عبارتنداز:
نوع خطا که می‌تواند Warning یا Fatal باشد.
کد خطا مانند پیغام غیرمنتظره، خطا در بازگشایی، خطا در گواهی و …
اگر خطا ز نوع Fatal باشد، اتصال مذکور فوراً قطع می‌شود و اجازه ایجاد اتصال جدید در جلسه فوق داده نمی‌شود، اما ارتباطات دیگر موجود در این جلسه می‌توانند ادامه پیدا کنند.
SSL > پروتکل دست دادن در SSL

این عمل به منظور احراز اصالت دوطرف و توافق روی الگوریتم‌ها و کلیدهای رمزگذاری است و به لایه دوم مربوط است و قبل از هر انتقال داده بین دو طرف این پروتکل صورت می‌گیرد. این پروتکل پیچیده‌ترین پروتکل SSL است که یکسری پیام دارد که بین دوطرف ارتباط مبادله می‌شود. هر پیام شامل نوع پیام، طول پیام به بایت و محتوای پیام است. این پروتکل دارای ۴ مرحله است.
SSL > پروتکل دست دادن در SSL > مرحله ۱: برقراری قابلیت‌های امنیتی

این مرحله به منظور آغاز یک اتصال منطقی برای معین کردن قابلیت‌های امنیتی مربوط به آن اتصال است.
SSL > پروتکل دست دادن در SSL > مرحله ۲: احراز اصالت و تبادل کلید سرور

در این مرحله حداکثر ۴ پیام از طرف سرور به کلاینت ارسال می‌شود که ۳ تا از آن‌ها اختیاری است. پیام اول شامل گواهی سرور است. پیام دوم مربوط به تبادل کلید از طرف سرور است. پیام سوم در صورتی که سرور مخفی نباشد ممکن است از سرور به کلاینت ارسال شود. پیام چهارم که حتماً باید ارسال شود پارامتری ندارد و بیان‌کننده پایان ارسال پیام مرحله دوم است.
SSL > پروتکل دست دادن در SSL > مرحله ۳: احراز اصالت و تبادل کلید کلاینت

در این مرحله ۳ پیام از کلاینت به سرور ارسال می‌شودکه فقط یکی از آن‌ها اجباری است.
SSL > پروتکل دست دادن در SSL > مرحله ۴: پایان

در این مرحله طرفین با ارسال مشخصات رمز کننده وضعیت جدید رمز خود را اطلاع می‌دهند و سپس با ارسال پیام پایانی، پروتکل دست دادن را پایان می‌دهند.
امنیت

برای بهره‌مندی از این پروتکل، سرویس‌دهنده و سرویس‌گیرنده با یکدیگر یک قرارداد تبادلی اطلاعات را مذاکره می‌کنند. در این مذاکرات، سرویس‌دهنده و سرویس‌گیرنده بر سر پارامترهای مختلفی که برای برقراری امنیت مورد نیاز است، به توافق می‌رسند.
دلیتسش (ناحیه)

| Delitzsch | Delitzsch |
| --- | --- |
ناحیه: ناحیه
کشور:  آلمان
ایالت: Saxony
منطقهٔ اداری: Leipzig
تاریخ فروپاشی: ۲۰۰۸-۰۸-۰۱
مرکز: دلیتزش
مساحت: مساحت
 • کل: ۸۵۲ کیلومتر مربع (۳۲۹ مایل مربع)
جمعیت (۲۰۰۰): جمعیت (۲۰۰۰)
 • کل: ۱۲۹۱۰۰
 • تراکم: ۱۵۰/کیلومتر مربع (۳۹۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (CET)
 • تابستانی (DST): یوتی‌سی +۲ (CSET)
پلاک خودرو: DZ
وبگاه: lradelitzsch.de
دلیتسش (به آلمانی: Landkreis Delitzsch) یک ناحیه در آلمان است که در زاکسن واقع شده‌است. دلیتسش ۱۲۹٬۱۰۰ نفر جمعیت دارد.
اچ‌ام‌اس ایسوریل

اچ‌ام‌اس ایسوریل ممکن است به یکی از موارد زیر اشاره داشته باشد:
اچ‌ام‌اس ایسوریل (اچ۰۵)
اچ‌ام‌اس ایسوریل (۱۹۱۶)
فرانک فابرا

فرانک یوستی فابرا پالاسیوس (اسپانیایی: Frank Yusty Fabra Palacios‎؛ زادهٔ ۲۲ فوریهٔ ۱۹۹۱) بازیکن فوتبال اهل کلمبیا است.
باشگاهی

از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به دیپورتیوو کالی و بوکا جونیورز اشاره کرد.
تیم ملی

وی همچنین در تیم ملی فوتبال کلمبیا بازی کرده‌است.
مرحله حذفی لیگ قهرمانان اروپا ۱۸–۲۰۱۷

مرحله حذفی لیگ قهرمانان اروپا ۱۸–۲۰۱۷ در ۱۳ فوریه شروع شد و تا ۲۶ مه ۲۰۱۸ به پایان رسید و در نهایت به فینال مسابقات در ورزشگاه ملی المپیسکی در کی‌یف اوکراین برگزار شد و رئال مادرید برای سیزدهم ین بار شد. در مجموع ۱۶ تیم در مرحله حذفی رقابت می‌کردند.
تاریخ مراحل و قرعه‌کشی‌ها

برنامه این رقابت‌ها به شرح زیر است (برنامه در مقر یوفا در نیون سوئیس به صورت کاملاً برابر انجام شد).
| دور | تاریخ قرعه‌کشی | مسابقه رفت | مسابقه برگشت |
| --- | --- | --- | --- |
| یک‌هشتم | ۱۱ دسامبر ۲۰۱۷ | ۱۳–۱۴ و ۲۰–۲۱ فوریه ۲۰۱۸ | ۶–۷ و ۱۳–۱۴ مارس ۲۰۱۸ |
| یک‌چهارم | ۱۶ مارس ۲۰۱۸ | ۳–۴ آوریل ۲۰۱۸ | ۱۰–۱۱ آوریل ۲۰۱۸ |
| نیمه‌نهایی | ۱۳ آوریل ۲۰۱۸ | ۲۴–۲۵ آوریل ۲۰۱۸ | ۱–۲ مه ۲۰۱۸ |
| فینال | ۱۳ آوریل ۲۰۱۸ | ۲۶ مه ۲۰۱۸ در ورزشگاه ملی المپیسکی کی‌یف | ۲۶ مه ۲۰۱۸ در ورزشگاه ملی المپیسکی کی‌یف |
تیم‌های راه‌یافته

| گروه | سرگروه‌ها  (سید تیم‌های اول گروه) | تیم‌های دوم صعود کننده  (سید تیم‌های دوم گروه) |
| --- | --- | --- |
| A |  منچستریونایتد |  بازل |
| B |  پاری سن ژرمن |  بایرن مونیخ |
| C |  آ.اس. رم |  چلسی |
| D |  بارسلونا |  یوونتوس |
| E |  لیورپول |  سویا |
| F |  منچسترسیتی |  شاختار دونتسک |
| G |  بشیکتاش |  پورتو |
| H |  تاتنهام هاتسپر |  رئال مادرید |
دور یک‌هشتم نهایی

در ۱۱ دسامبر ۲۰۱۷ قرعه‌کشی این مرحله بین ۱۶ تیم برتر انجام شد.
دور یک‌هشتم نهایی > نتایج

بازی‌های رفت در تاریخ‌های ۱۳، ۱۴، ۲۰ و ۲۱ فوریه، و بازی‌های مرحله برگشت در تاریخ‌های ۶، ۷، ۱۳ و ۱۴ مارس ۲۰۱۸ برگزار شد.
| تیم ۱ | نتیجه‌نهایی | تیم ۲ |   بازی رفت   |   بازی برگشت   |
| --- | --- | --- | --- | --- |
| یوونتوس  | ۴–۳ |  تاتنهام هاتسپر | ۲–۲ | ۲–۱ |
| بازل  | ۲–۵ |  منچستر سیتی | ۰–۴ | ۲–۱ |
| پورتو  | ۰–۵ |  لیورپول | ۰–۵ | ۰–۰ |
| سویا  | ۲–۱ |  منچستر یونایتد | ۰–۰ | ۲–۱ |
| رئال مادرید  | ۵–۲ |  پاری سن ژرمن | ۳–۱ | ۲–۱ |
| شاختار دونتسک  | ۲–۲ (گ.ز.) |  آ.اس. رم | ۲–۱ | ۰–۱ |
| چلسی  | ۱–۴ |  بارسلونا | ۱–۱ | ۰–۳ |
| بایرن مونیخ  | ۸–۱ |  بشیکتاش | ۵–۰ | ۳–۱ |
دور یک‌هشتم نهایی > مسابقات

۱۳ فوریه ۲۰۱۸
۲۰:۴۵
| یوونتوس  | ۲–۲ |  تاتنهام هاتسپر |
| --- | --- | --- |
| ایگواین  ۲'، ۹' (پنالتی) | گزارش | کین  ۳۵' اریکسن  ۷۱' |
تماشاگران: ۴۱٬۲۳۲
داور: فلیکس بریچ (آلمان)
۷ مارس ۲۰۱۷
۲۰:۴۵
| تاتنهام هاتسپر  | ۱–۲ |  یوونتوس |
| --- | --- | --- |
| سون هیونگ-مین  ۳۹' | گزارش | ایگواین  ۶۴' دیبالا  ۶۷' |
تماشاگران: ۸۴٬۰۱۰
داور: شیمون مارسینیاک (لهستان)
یوونتوس با نتیجه ۴–۳ در مجموع صعود کرد.
۱۳ فوریه ۲۰۱۸
۲۰:۴۵
| بازل  | ۰–۴ |  منچسترسیتی |
| --- | --- | --- |
|  | گزارش | گوندوغان  ۱۴'، ۵۳' سیلوا  ۱۸' آگوئرو  ۲۳' |
تماشاگران: ۳۶٬۰۰۰
داور: یوناس اریکسون (سوئد)
۷ مارس ۲۰۱۸
۲۰:۴۵
| منچسترسیتی  | ۱–۲ |  بازل |
| --- | --- | --- |
| ژسوس  ۸' | گزارش | الیونوسی  ۱۷' لانگ  ۷۱' |
تماشاگران: ۴۹٬۴۱۱
داور: پاول کرالوتس (جمهوری چک)
منچسترسیتی با نتیجه ۵–۲ در مجموع صعود کرد.
۱۴ فوریه ۲۰۱۸
۲۰:۴۵
| پورتو  | ۰–۵ |  لیورپول |
| --- | --- | --- |
|  | گزارش | مانه  ۲۵'، ۵۳'، ۸۵' صلاح  ۲۹' فیرمینو  ۶۹' |
تماشاگران: ۴۷٬۷۱۸
داور: دنیله اورساتو (ایتالیا)
۶ مارس ۲۰۱۸
۲۰:۴۵
| لیورپول  | ۰–۰ |  پورتو |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۴۸٬۷۶۸
داور: فلیکس زووایر (آلمان)
لیورپول با نتیجه ۵–۰ در مجموع صعود کرد.
۲۱ فوریه ۲۰۱۸
۲۰:۴۵
| سویا  | ۰–۰ |  منچستریونایتد |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۳۹٬۷۲۵
داور: کلمن تورپین (فرانسه)
۱۳ مارس ۲۰۱۸
۲۰:۴۵
| منچستریونایتد  | ۱–۲ |  سویا |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۷۴٬۹۰۹
داور: دنی ماکلیه (هلند)
سویا با نتیجه ۲–۱ در مجموع صعود کرد.
۱۴ فوریه ۲۰۱۸
۲۰:۴۵
| رئال مادرید  | ۳–۱ |  پاری سن ژرمن |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۷۸٬۱۵۸
داور: جیانلوکا روچی (ایتالیا)
۶ مارس ۲۰۱۸
۲۰:۴۵
| پاری سن ژرمن  | ۱–۲ |  رئال مادرید |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۴۶٬۵۸۵
داور: فلیکس بریچ (آلمان)
رئال مادرید با نتیجه ۵–۲ در مجموع صعود کرد.
۲۱ فوریه ۲۰۱۸
۲۰:۴۵
| شاختار دونتسک  | ۲–۱ |  آ> اس. رم |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۳۵٬۱۲۴
داور: ویلی کالوم (اسکاتلند)
۱۳ مارس ۲۰۱۸
۲۰:۴۵
| آ> اس. رم  | ۱–۰ |  شاختار دونتسک |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۴۷٬۶۹۳
داور: آلبرتو آندیانو مالنسو (اسپانیا)
۲–۲ در مجموع. رم به دلیل گل زده بیشتر در خانه حریف صعود کرد.
۲۰ فوریه ۲۰۱۸
۲۰:۴۵
| چلسی  | ۱–۱ |  بارسلونا |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۳۷٬۷۴۱
داور: جونیت چاکیر (ترکیه)
۱۴ مارس ۲۰۱۸
۲۰:۴۵
| بارسلونا  | ۳–۰ |  چلسی |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۹۷٬۱۸۳
داور: دامیر اسکومینا (اسلوونی)
بارسلونا با نتیجه ۴–۱ در مجموع صعود کرد.
۲۰ فوریه ۲۰۱۸
۲۰:۴۵
| بایرن مونیخ  | ۵–۰ |  بشیکتاش |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۷۰٬۰۰۰
داور: اوویدیو هاتگان (رومانی)
۱۴ مارس ۲۰۱۸
۲۰:۴۵
| بشیکتاش  | ۱–۳ |  بایرن مونیخ |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۳۶٬۸۸۵
داور: مایکل اولیور (انگلیس)
بایرن مونیخ با نتیجه ۸–۱ در مجموع صعود کرد.
یک چهارم نهایی

قرعه‌کشی این مرحله بین هشت تیم برتر مرحله قبلی در تاریخ ۱۶ مارس ۲۰۱۸ برگزار شد.
یک چهارم نهایی > نتایج

مسابقات رفت در ۳ و ۴ آوریل و مسابقات برگشت نیز در تاریخ ۱۰ و ۱۱ آوریل ۲۰۱۸ برگزار شد.
| تیم ۱ | نتیجه‌نهایی | تیم ۲ |   بازی رفت   |   بازی برگشت   |
| --- | --- | --- | --- | --- |
| بارسلونا  | ۴–۴ (گ.ز.) |  آ.اس. رم | ۴–۱ | ۰–۳ |
| سویا  | ۱–۲ |  بایرن مونیخ | ۱–۲ | ۰–۰ |
| یونتوس  | ۳–۴ |  رئال مادرید | ۰–۳ | ۳–۱ |
| لیورپول  | ۵–۱ |  منچسترسیتی | ۳–۰ | ۲–۱ |
یک چهارم نهایی > مسابقات

۴ آوریل ۲۰۱۸
۲۰:۴۵
| بارسلونا  | ۴–۱ |  آ> اس. رم |
| --- | --- | --- |
| د روسی  ۳۸' (گ.خ.) مانولاس  ۵۵' (گ.خ.) پیکه  ۵۹' سوارز  ۸۷' | گزارش | ژکو  ۸۰' |
تماشاگران: ۹۰٬۱۰۶
داور: دنی ماکلیه (هلند)
۱۰ آوریل ۲۰۱۸
۲۰:۴۵
| آ> اس. رم  | ۳–۰ |  بارسلونا |
| --- | --- | --- |
| ژکو  ۶' د روسی  ۵۸' (پنالتی) مانولاس  ۸۲' | گزارش |  |
تماشاگران: ۵۶٬۵۸۰
داور: کلمن تورپین (فرانسه)
۴–۴ در مجموع. رم به دلیل گل زده بیشتر در خانه حریف صعود کرد.
۳ آوریل ۲۰۱۸
۲۰:۴۵
| سویا  | ۱–۲ |  بایرن مونیخ |
| --- | --- | --- |
| سارابیا  ۳۲' | گزارش | ناواس  ۳۷' (گ.خ.) تیاگو  ۶۸' |
تماشاگران: ۴۰٬۶۳۵
داور: دنیله اورساتو (ایتالیا)
۱۱ آوریل ۲۰۱۸
۲۰:۴۵
| بایرن مونیخ  | ۰–۰ |  سویا |
| --- | --- | --- |
|  | گزارش |  |
تماشاگران: ۷۰٬۰۰۰
داور: ویلی کالوم (اسکاتلند)
بایرن مونیخ با نتیجه ۲–۱ در مجموع صعود کرد.
۳ آوریل ۲۰۱۸
۲۰:۴۵
| یوونتوس  | ۰–۳ |  رئال مادرید |
| --- | --- | --- |
|  | گزارش | رونالدو  ۳'، ۶۴' مارسلو  ۷۲' |
تماشاگران: ۴۰٬۸۴۹
داور: جونیت چاکر (ترکیه)
۱۱ آوریل ۲۰۱۸
۲۰:۴۵
| رئال مادرید  | ۱–۳ |  یوونتوس |
| --- | --- | --- |
| رونالدو  ۸+۹۰' | گزارش | ماندژوکیچ  ۲'، ۳۷' ماتویدی  ۶۱' |
تماشاگران: ۷۵٬۷۹۶
داور: مایکل اولیور (انگلستان)
رئال مادرید با نتیجه ۴–۳ در مجموع صعود کرد.
۴ آوریل ۲۰۱۸
۲۰:۴۵
| لیورپول  | ۳–۰ |  منچسترسیتی |
| --- | --- | --- |
| صلاح  ۱۲' چمبرلین  ۲۱' مانه  ۳۱' | گزارش |  |
تماشاگران: ۵۰٬۶۸۵
داور: فلیکس بریچ (آلمان)
۱۰ آوریل ۲۰۱۸
۲۰:۴۵
| منچسترسیتی  | ۱–۲ |  لیورپول |
| --- | --- | --- |
| ژسوس  ۲' | گزارش | صلاح  ۵۶' فیرمینو  ۷۷' |
تماشاگران: ۵۳٬۴۶۱
داور: آنتونیو ماتیو لاهوز (اسپانیا)
لیورپول با نتیجه ۵–۱ در مجموع صعود کرد.
نیمه نهایی

قرعه‌کشی این مرحله بین ۴ تیم پایانی تورنمنت در روز ۱۳ آوریل ۲۰۱۸ انجام شد.
مسابقات رفت روزهای ۲۴ و ۲۵ آوریل و مسابقات برگشت روزهای ۱ و ۲ مه ۲۰۱۸ برگزار شد.
نیمه نهایی > نتایج

| تیم ۱ | نتیجه نهایی | تیم ۲ | بازی رفت | بازی برگشت |
| --- | --- | --- | --- | --- |
| بایرن مونیخ  | ۳–۴ |  رئال مادرید | ۱–۲ | ۲–۲ |
| لیورپول  |  |  آ.اس. رم | ۵–۲ | ۴–۲ |
نیمه نهایی > مسابقات

۲۰:۴۵
| بایرن مونیخ  | ۲–۱ |  رئال مادرید |
| --- | --- | --- |
| یوشوآ کیمیش  ۲۸' | گزارش | مارسلو  ۴۴' مارکو آسنسیو  ۵۷' |
تماشاگران: ۷۰٬۰۰۰
داور: بیورن کویپرس (هلند)
۲۰:۴۵
| رئال مادرید  | ۲–۲ |  بایرن مونیخ |
| --- | --- | --- |
| کریم بنزما  ۱۱'، ۴۶' | گزارش | یوشوآ کیمیش  ۳' خامس رودریگز  ۶۳' |
داور: جونیت چاکیر (ترکیه)
۲۰:۴۵
| لیورپول  | ۵–۲ |  آ> اس. رم |
| --- | --- | --- |
| صلاح  ۳۶'، ۴۵' مانه  ۵۶' فیرمینو  ۶۲'، ۶۹' | گزارش | ادین ژکو  ۸۱' دیگو پروتی  ۸۵' (پ) |
تماشاگران: ۵۱٬۲۳۶
داور: فلیکس بریچ (آلمان)
فینال

مقالهٔ اصلی: فینال لیگ قهرمانان اروپا ۲۰۱۸
دو تیم باقی‌مانده در این تورنمنت، در قالب فینال لیگ قهرمانان اروپا، ۲۶ مه ۲۰۱۸ در ورزشگاه ملی المپیسکی در شهر کی‌یف، اوکراین در مقابل یکدیگر قرار گرفتند
گرفت.