کبری

کبری (زبان برنامه نویسی). کبری یا کبرا ( به انگلیسی: Cobra ) یک زبان برنامه نویسی سطح بالا و شیءگرا است که با پروانه MIT در ۲۹ فوریه ۲۰۰۸ به صورت متن باز منتشر شد. این زبان برای برنامه نویسی عمومی استفاده می شود و از برنامه نویسی ایستا و پویا پشتیبانی می کند. این زبان برنامه نویسی هم اکنون متوقف شده.
کبرا توسط چارلز استبروک در سال ۲۰۰۶ میلادی طراحی و روی چارچوب های دات نت و مونو ظهور یافت. این زبان تحت اثر پایتون و سی شارپ و دیگر زبان های برنامه نویسی ساخته شد. بعد از آن، نسخهٔ ۰٫۹٫۶ به عنوان آخرین نسخهٔ رسمی آن در سال ۲۳ دسامبر ۲۰۱۳ منتشر شد.
کبرا دارای ویژگی های زیر است:
این زبان مولتی پارادایم یا چند پارادایمی است و از پارادایم های مختلف مانند شیء گرایی و امری پشتیبانی می کند.
کبرا از شیوه های نوع دهی مختلف مانند قوی، ایستا، پویا، استنباطی پشتیبانی می کند.
این زبان از تمام ویژگی های برنامه نویسی شیءگرا پشتیبانی می کند و از کلیه مفاهیمی مانند کلاس، وراثت و… پیروی می کند.
کبرا زبانی چندمنظوره است و برای توسعه برنامه ها و نرم افزارهای مختلف استفاده می شود.
کبرا با پروانه MIT به صورت متن باز منتشر شده.
زبان کبرا شامل بستارها و مولدها است.
کبرا از ویژگی های مدیریت حافظه خودکار استفاده می کند.
• مایکروسافت ویژوال استودیو
• مونودولاپ
نمونه کدهای زیر با کبرا نوشته شده است:
class Hello def main print 'HELLO WORLD' برنامه تولید اعداد فیبوناچیویرایش class Fib def compute ( count as int ) as List< of int> is shared list = List< of int> ( ) a, b = 0, 1 for i in count list. add ( b ) a, b = b, a + b return list class Program def main i = 1 for n in Fib. compute ( 10 ) print '. ' i += 1 مثالی از کلاس هاویرایش class Person var _name as String var _age as int cue init ( name as String, age as int ) _name, _age = name, age def toString as String is override return 'My name is and I am years old' پانویسویرایش ↑ ۱٫۰ ۱٫۱ «Cobra Language LLC». دریافت شده در ۴ مه ۲۰۲۲. ↑ ۲٫۰ ۲٫۱ "Cobra programming language: history, features, applications, Why learn?". Answersjet ( به انگلیسی ) . Retrieved 2022 - 06 - 06. ↑ ۳٫۰ ۳٫۱ «چارلز استبروک ( 28 ژوئن 2008 ) ». بایگانی شده از اصلی در ۲۶ مارس ۲۰۰۹. دریافت شده در ۴ مه ۲۰۲۲. ↑ «Visual Studio: IDE and Code Editor for Software Developers and Teams». Visual Studio ( به انگلیسی ) . دریافت شده در ۲۰۲۲ - ۰۶ - ۰۶. ↑ «MonoDevelop | MonoDevelop». www. monodevelop. com. دریافت شده در ۲۰۲۲ - ۰۶ - ۰۶. ↑ ۶٫۰ ۶٫۱ ۶٫۲ «Introduction | Cobra». cobra - language. com. دریافت شده در ۲۰۲۲ - ۰۶ - ۰۶. پیوند به بیرونویرایش وبگاه زبان برنامه نویسی کبرا

کُبْری
(در لغت، مؤنث اکبر به معنی بزرگ تر) در اصطلاح منطق، به آن مقدمۀ قیاس که حاوی محمول نتیجه است، گفته می شود. فی المثل در قیاسِ «سقراط انسان است/هر انسانی فانی است/سقراط فانی است»، قضیۀ «هر انسانی فانی است» کبری محسوب می شود. نیز ← صُغری

کبری (رساله). رساله ای در علم منطق، به فارسی، تألیف میر سید شریف جرجانی. این اثر در 39 فصل و در بیان مباحث تعریفات و حجت منطق است، اما به مباحث مقولات و صناعات خمس پرداخته است. کبری، از کتاب های درسی مقدماتی در حوزة علم منطق است و شروح متعددی نیز بر آن نوشته شده است، مانند بهجه الطالبین و شرح عصام الدین اسفراینی. محمدعلی طبسی اصفهانی، مشهور به نورعلی شاه، این اثر را به نظم درآورده که در رسائل وی آمده است.
67010700