تويت
معجم الكيلاني لمصطلحات الحاسب الإلكتروني إنجليزي إنجليزي عربي موضح بالرسوم الحرف ١٦_T
theorem proving Two approaches to automated theorem proving are proof- finding and consequence-finding. A proof- finding program attempts to find a proof for a certain given theorem. A consequ- ence-finding program is given specific ax- ioms for which to deduce consequences. Then, «interesting consequences are
selected.
إثبات النظرية : يوجد طريقتان للإثبات الآلي للنظرية وهما : البحث عن البرهان ونتائج الاكتشاف. اما برنامج البحث عن البرهان فيحاول ايجاد برهان النظرية معينة. وأما برنامج نتيجة الاكتشاف فيعطى بديهيات محددة يلزم استخراج نتائج لها ومن ثم اختيار النتائج المهمة .
theory, automata A theory that re- lates the study of application of automatic devices to various behaviorist concepts and theories.
النظرية الآلية : النظرية التي تربط بين تطبيق الأجهزة الآلية والمفاهيم السلوكية.
theory, communication A branch of mathematics dealing with the properties of transmitted messages.
نظرية الاتصالات : تهتم بخصائص الرسائل المنقولة عبر نظام اتصالات.
theory, congestion A mathematical theory dealing with the study of delays and losses of items in a communications system.
نظرية الازدحام : شراسة التأخيرات وضياع المواد في نظام اتصالات .
theory, game Mathematical game play- ing (as done on a computer).
نظرية المباريات : معالجة رياضية لانتقاء استراتيجيات مثل من بين عدة بدائل .
theory, information An area of mathe- matical theory dealing with information rate, channels, etc. and other factors affecting information transmission.
نظرية المعلومات : نظرية رياضية تعالج العناصر التي تؤثر على ارسال المعلومات كقنوات الارسال والمعدل وغير ذلك .
theory, probability A theory pertain- ing to the likelihood of chance occurrences of events or elements.
نظرية الاحتمالات: تختص باحتمال الحدوث العشوائي للاحداث أو العناصر .
theory, queuing A probability theory used in studying delays and the waiting in line of people or things.
نظرية صف الانتظار : نظرية احتمالية تدرس التأخيرات والانتظار في صف من الناس أو الأشياء .
theory, set The study of rules for com- bining elements, groups and sets.
نظرية المجموعة: قوانين تجميع العناصر والمجموعات .
theory, switching A branch of theory related to combinational logic concerning computers, logic elements, switching net- works, etc.
نظرية التحويل : تهتم بالمنطق التجميعي (التوافقي) للحاسبات الالكترونية والعناصر المنطقية وشبكات تحويل الرسائل وغيرها .
thermal Pertaining to heat.
حراري .
thermal expansion coefficient A me- asure of increase in the linear dimension of tape relative to temperature.
معامل التمدد الحراري: مقياس زيــادة طــول الشريط نتيجة الحرارة .
thermal noise Electromagnetic noise emitted from hot bodies. Sometimes called Johnson noise.
تشويش أو ضجيج حراري تشويش كهرومغناطيسي منبعث من أجسام حارة.
thermal paper Paper coated with a few micrometers of a chemical catalyst.
وَرَقَ حَراري : ورق مُغطى بطبقة رقيقة من مواد كيماوية حفازة تتأثر بالحرارة .
thermal printer Often used in CRT ter- minals; these have few moving parts, are quite, usually low cost but require the use of thermal paper that is expensive, some- times difficult to read and store effectively.
طابعة حرارية : تستعمل مع بعض الوحدات الطرفية وتمتاز بقلة عدد الأجزاء المتحركة فيهـا وهدوئها وانخفاض سعرها. ولكنها تستعمل الورق الحراري المرتفع السعر وأحيانا تصعب قراءته أو تخزينه . .
thermal shock An abrupt temperature change applied to a device.
صدمة حرارية : تَغَير مُفاجيء في درجة الحرارة المحيطة بالجهاز .
thermistor A special resistor whose temperature coefficient of resistance is very high.
مقاوم ذو مُعامِل مُقاومة حراري كبير.
thermoelectrics The conversion of heat into electricity and vice versa.
الكهربائيات الحرارية : تحويل الحرارة إلى كهرباء والعكس بالعكس .
thickness, coating The thickness of tape coatings.
سماكة (ثخانة) الطبقة الخارجيَّةِ للشريط .
thickness, total The sum of the thick- ness of the coating and base of magnetic tape.
السماكة الكلية : مجموع سماكة قـاعـدة وتغـطـيـة الشريط الممغنط .
theorem proving Two approaches to automated theorem proving are proof- finding and consequence-finding. A proof- finding program attempts to find a proof for a certain given theorem. A consequ- ence-finding program is given specific ax- ioms for which to deduce consequences. Then, «interesting consequences are
selected.
إثبات النظرية : يوجد طريقتان للإثبات الآلي للنظرية وهما : البحث عن البرهان ونتائج الاكتشاف. اما برنامج البحث عن البرهان فيحاول ايجاد برهان النظرية معينة. وأما برنامج نتيجة الاكتشاف فيعطى بديهيات محددة يلزم استخراج نتائج لها ومن ثم اختيار النتائج المهمة .
theory, automata A theory that re- lates the study of application of automatic devices to various behaviorist concepts and theories.
النظرية الآلية : النظرية التي تربط بين تطبيق الأجهزة الآلية والمفاهيم السلوكية.
theory, communication A branch of mathematics dealing with the properties of transmitted messages.
نظرية الاتصالات : تهتم بخصائص الرسائل المنقولة عبر نظام اتصالات.
theory, congestion A mathematical theory dealing with the study of delays and losses of items in a communications system.
نظرية الازدحام : شراسة التأخيرات وضياع المواد في نظام اتصالات .
theory, game Mathematical game play- ing (as done on a computer).
نظرية المباريات : معالجة رياضية لانتقاء استراتيجيات مثل من بين عدة بدائل .
theory, information An area of mathe- matical theory dealing with information rate, channels, etc. and other factors affecting information transmission.
نظرية المعلومات : نظرية رياضية تعالج العناصر التي تؤثر على ارسال المعلومات كقنوات الارسال والمعدل وغير ذلك .
theory, probability A theory pertain- ing to the likelihood of chance occurrences of events or elements.
نظرية الاحتمالات: تختص باحتمال الحدوث العشوائي للاحداث أو العناصر .
theory, queuing A probability theory used in studying delays and the waiting in line of people or things.
نظرية صف الانتظار : نظرية احتمالية تدرس التأخيرات والانتظار في صف من الناس أو الأشياء .
theory, set The study of rules for com- bining elements, groups and sets.
نظرية المجموعة: قوانين تجميع العناصر والمجموعات .
theory, switching A branch of theory related to combinational logic concerning computers, logic elements, switching net- works, etc.
نظرية التحويل : تهتم بالمنطق التجميعي (التوافقي) للحاسبات الالكترونية والعناصر المنطقية وشبكات تحويل الرسائل وغيرها .
thermal Pertaining to heat.
حراري .
thermal expansion coefficient A me- asure of increase in the linear dimension of tape relative to temperature.
معامل التمدد الحراري: مقياس زيــادة طــول الشريط نتيجة الحرارة .
thermal noise Electromagnetic noise emitted from hot bodies. Sometimes called Johnson noise.
تشويش أو ضجيج حراري تشويش كهرومغناطيسي منبعث من أجسام حارة.
thermal paper Paper coated with a few micrometers of a chemical catalyst.
وَرَقَ حَراري : ورق مُغطى بطبقة رقيقة من مواد كيماوية حفازة تتأثر بالحرارة .
thermal printer Often used in CRT ter- minals; these have few moving parts, are quite, usually low cost but require the use of thermal paper that is expensive, some- times difficult to read and store effectively.
طابعة حرارية : تستعمل مع بعض الوحدات الطرفية وتمتاز بقلة عدد الأجزاء المتحركة فيهـا وهدوئها وانخفاض سعرها. ولكنها تستعمل الورق الحراري المرتفع السعر وأحيانا تصعب قراءته أو تخزينه . .
thermal shock An abrupt temperature change applied to a device.
صدمة حرارية : تَغَير مُفاجيء في درجة الحرارة المحيطة بالجهاز .
thermistor A special resistor whose temperature coefficient of resistance is very high.
مقاوم ذو مُعامِل مُقاومة حراري كبير.
thermoelectrics The conversion of heat into electricity and vice versa.
الكهربائيات الحرارية : تحويل الحرارة إلى كهرباء والعكس بالعكس .
thickness, coating The thickness of tape coatings.
سماكة (ثخانة) الطبقة الخارجيَّةِ للشريط .
thickness, total The sum of the thick- ness of the coating and base of magnetic tape.
السماكة الكلية : مجموع سماكة قـاعـدة وتغـطـيـة الشريط الممغنط .