منظور از اثبات قضیه، اجرای مستقیم قوانین استنتاج بر روی دستورات موجود در پایگاه دانش منطق گزاره ای هوش مصنوعی برای اثبات جمله مطلوب، بدون استفاده از مدل است.

کتابخانه های استاندارد ++C مجموعه گسترده ای از قابلیتهای ورودی و خروجی I/O را تدارک میبیند که اغلب ویژگی شیءگرا دارند , موجب بهره برداری از سایر ویژگی ها مثل مرجع ها، توابع همنام و تعریف مجدد عملگرهای میشوند

الگوریتم مربوط به استنتاج، روش بازرسی مدل است که تعریف ایجاب از KB را بطور مستقیم پیاده سازی میکند: شمارش مدل ها و بررسی این نکته که آیا در هر مدلی که KB درست است، جمله ای مثل a نیز درست هست یا خیر. مدلها، انتساب های true یا false به هر نماد گزاره ای هستند.

در روش تقسیم و غلبه ابتدا مساله بزرگ به زیر مسائل کوچکتر تقسیم میشود و پس از آن زیر مسائل کوچکتر نیز در صورت لزوم به زیر مسائل کوچکتری تقسیم میشوند و در نهایت با حل مسائل کوچک، مساله اصلی حل میشود.

در Amortized Analysis آنالیز استهلاکی برای تخمین زمان اجرای الگوریتم و پیچیدگی زمانی آن، n عمل انجام میشود و هزینه زمانی آن روی n عمل سرشکن میشود. در واقع ممکن است عملیات انجام شده هزینه های مختلفی داشته باشند و برخی هزینه زیادی داشته باشند ولی هزینه متوسط هر عمل کوچک باشد.

XHTML تقریبا مشابه HTML است، فقط کمی سختگیرانه تر از HTML است. XHTML ف، HTML ی است که به عنوان یک برنامه کاربردی XML تعریف شده است.همچنین XHTML توسط همه مرورگرهای اصلی پشتیبانی میشود.

در الگوریتم برنامه نویسی پویا، ابتدا مسائل کوچک حل میشوند و در یک مکان ذخیره میشوند و سپس به تدریج به حل مسئله اصلی میرسیم. روش پویا یک روش جزء به کل یا پایین به بالا (bottom - up) است و بصورت بازگشتی به جواب میرسد

در این پست استایلهای عناصر HTML و همچنین المانهای مختلف قالب بندی متن HTML را مورد بررسی قرار خواهیم داد