الخوارزمية هي مجموعة من الخطوات الرياضية والمنطقية والمتسلسلة اللازمة لحل مشكلة ما. وسميت الخوارزمية بهذا الاسم نسبة إلى العالم أبو جعفر محمد بن موسى الخوارزمي الذي ابتكرها في القرن التاسع الميلادي. الكلمة المنتشرة في اللغات اللاتينية والأوروبية هي «algorithm» وفي الأصل كان معناها يقتصر على خوارزمية لتراكيب ثلاثة فقط وهي: التسلسل والاختيار والتكرار.
و قد أثُبت أنه لاحاجة إلى تراكيب إضافية. استخدام هذه التراكيب الثلاث يسهل فهم الخوارزمية واكتشاف الأخطاء الواردة فيها وتغييرها.
تعريف رسمي.
على الرغم من عدم وجود إجماع رسمي على تعريف مناسب للـ «خوارزمية»، فمن الممكن صياغة تعريف غير رسمي لها عن طريق اعتبارها «مجموعة من القواعد التي تعبر عن سلسلة محددة من العمليات» التي من شأنها أن تشمل جميع برامج الكمبيوتر، بما في ذلك البرامج التي لا تُجرى بها عمليات حسابية رقمية. وبالنسبة لبعض الناس، فإن أي برنامج هو خوارزمية إلا إذا كان يتوقف في نهاية المطاف. بالنسبة للآخرين، فإن البرنامج هو فقط خوارزمية إذا كان ينفذ عددا من الخطوات الحسابية.
وهناك مثال نمطى لخوارزمية هو خوارزمية إقليدس لتحديد الحد الأقصى للقاسم المشترك لعددين؛ وكمثال (هناك أمثلة أخرى) موضحة من قبل الرسم البياني أعلاه وكمثال في جزء لاحق.
 تقدم معنى رسميا للكلمة في الاقتباس التالي:
لا يوجد إنسان يمكنه أن يكتب بسرعة كافية، أو لمدة طويلة بما فيه الكفاية، أو صغيرة بما يكفي («أصغر وأصغر من دون حد...هل كنت ستجرب محاولة الكتابة على الجزيئات، على الذرات، أو حتى على الالكترونات»)أو أن تجرب أن تسرد كافة أعضاء مجموعة غير نهائية من الأعداد قابل للتعداد وتكتب أسمائهم، واحدا تلو الآخر، في بعض الصيغ العددية. ولكن البشر يمكنهم أيضا أن يفعلوا شيئا مفيدا بنفس القدر، في حالة بعض مجموعات الأعداد غير النهائية التي لاحصر لها: يمكن أن تعطي تعليمات صريحة" لتحديد ن عضو ال من مجموعة"، لمجموعة منتهية اعتباطية محدودة" ن". هذه التعليمات هي أن تعطى بشكل صريح للغاية، في الشكل الذي يمكن أن نحصل عليه بواسطة آلة حاسبة، أو من قبل الإنسان الذي هو قادر فقط على القيام بعمليات بسيطة جدا على الرموز."
مصطلح «قابل للتعداد بلا حدود» يعني معدود باستخدام الأعداد الصحيحة ربما تمتد إلى ما لا نهاية«. وبالتالي، فإن Boolos وجيفري يقولون إن الخوارزمية تعني تعليمات لعملية» خلق«الأعداد الصحيحة الإخراج من عدد صحيح من مدخلات اعتباطية أو الأعداد الصحيحة التي من الناحية النظرية، يمكن اختيارها من 0 إلى ما لا نهاية. وبالتالي خوارزمية يمكن أن تكون معادلة جبرية مثل" ص = م + ن" اثنان — إعتباطى» متغيرات المدخلات "م" "ن" والتي تنتج ناتج "ذ". لكن مختلف المؤلفين حاولوا تعريف مفهوم يشير إلى أن الكلمة تعني أكثر من ذلك بكثير، وهو أمر بناء على أمر من (للمثال بالإضافة إلى ذلك):
ويستخدم مفهوم الخوارزمية أيضا في تعريف مفهوم قدرة إتخاذ القرار. هذه الفكرة هي مركزية لشرح كيفية النظام الرسمي تأتي إلى حيز الوجود بدءا من مجموعة صغيرة من البديهيات والقواعد. في المنطق، في وقت لا يمكن قياسه، الذي يتطلبه لإكمال خوارزمية كما أنه لا يرتبط على ما يبدو مع البعد المادي العرفي الذي نألفه. من هذه الشكوك، التي تميز العمل الجاري، ينبع عدم توفر تعريف الخوارزمية التي يناسب كلا من الاستخدام المحدد (بمعنى ما) والاستخدام المجرد لهذا المصطلح.
إضفاء الطابع الرسمي.

 فإن البرنامج هو فقط خوارزمية إذا كان ينفذ عددا من الخطوات الحسابية
هل يعتبر أي برنامج خوارزمية؟

.
ما هي الخطوات الحسابية التي يجب أن ينفذها البرنامج ليعتبر خوارزمية؟



.
ما هو التعريف الغير رسمي للخوارزمية؟

لتحديد الحد الأقصى للقاسم المشترك لعددين
ما هي خوارزمية إقليدس؟

 أن تجرب أن تسرد كافة أعضاء مجموعة غير نهائية من الأعداد قابل للتعداد وتكتب أسمائهم، واحدا تلو الآخر
ما هي معاني مصطلح "قابل للتعداد بلا حدود"؟

العالم أبو جعفر محمد بن موسى الخوارزمي
من ابتكر مصطلح الخوارزمية؟

التسلسل والاختيار والتكرار.
و قد أثُبت أنه لاحاجة إلى تراكيب إضافية
كيف يمكن استخدام التراكيب الثلاثة لتسهيل فهم الخوارزمية واكتشاف الأخطاء فيها؟

 «مجموعة من القواعد التي تعبر عن سلسلة محددة من العمليات»
هل هناك تعريف رسمي للخوارزمية؟

هي مجموعة من الخطوات الرياضية والمنطقية والمتسلسلة اللازمة لحل مشكلة ما
ما هي الخوارزمية؟
