Muhammad ibn al-Uthaymin

2025-06-19T20:05:13Z

212.200.164.104: /* Leben */

[[Datei:Ibn saleh with khalid Al-Sulaim and Muhammad ibn al Uthaymeen 1968.jpg|mini|Muhammad ibn Uthaimin mit Ibn Saleh und Chalid as-Sulaim 1968]]
'''Muhammad ibn Salih al-Uthaymin''' oder '''Scheich Uthaimin''' ({{arS|محمد بن صالح العثيمين}}; vollständiger Name: {{arF|w=Abu Abdallah Muhammad ibn Salih ibn Muhammad ibn Sulayman bin Abd ar-Rahman al-Uthaymin al-Wahibi at-Tamimi|أبو عبد الله محمد بن صالح بن محمد بن سليمان بن عبد الرحمن العثيمين الوهيبي التميمي|d=Abū ʿAbd Allāh Muḥammad b. Ṣāliḥ b. Muḥammad b. Sulaimān b. ʿAbd ar-Raḥmān al-ʿUṯaimīn al-Wahībī at-Tamīmī}}; geb. [[1929]] in [[Unaiza]], [[Saudi-Arabien]]; gest. [[10. Januar]] [[2001]] in [[Mekka]], Saudi-Arabien) war ein [[islam]]ischer Gelehrter im zweiten Teil des 20. Jahrhunderts in Saudi-Arabien.

== Leben ==
Er wurde in jungen Jahren [[Hāfiz]] und studierte bei Gelehrten wie [[ʿAbd ar-Rahmān as-Saʿdī]], [[Muhammad asch-Schanqiti]] und [[Abd al-Aziz ibn Baz]]. Er spezialisierte sich zunehmend auf das Thema [[Fiqh]] und schrieb über fünfzig Bücher dazu. Einige seiner Werke wurden auch ins Deutsche übersetzt.

Al-Uthaymin betonte im Sinne der Lehre [[Muhammad ibn ʿAbd al-Wahhāb]]s, dass alle juristischen Entscheidungen direkt auf einem Beleg aus dem [[Koran]] oder der Prophetenüberlieferung (''[[Sunna]]h'') zu beruhen haben. Der Konsens der Gelehrten (''[[Idschmāʿ]]'') sei nur gültig, wenn er durch solche Belege abgedeckt sei.

Ibn al-Uthaymin war auch bekannt für seine Lehre der Sunnah und seine Lehre im Fiqh, noch heutzutage werden seine Bücher gelesen und erklärt.

Bis kurz vor seinem Tod unterrichtete er Islamisches Recht ([[Fiqh]], [[Scharia]]) an der [[Islamische Universität Imam Muhammad ibn Saud|Imam-Muhammad-ibn-Saud-Universität]]. Er war Mitglied des Konsultativrats, der die Aufgabe hat, die Regierung zu beraten, und im Hohen [[ʿUlamā']]-Rat Saudi-Arabiens, der aus den 18 bedeutendsten Rechtsgelehrten des Landes besteht. Er war ebenfalls [[Imam]] der großen Moschee in seiner Geburtsstadt [[Unaiza]].

Ihm wurde am 8. Februar 1994 der [[Internationaler König-Faisal-Preis|Internationale König-Faisal-Preis]] für Verdienste um den Islam verliehen. Als [[Abd al-Aziz ibn Baz]], der damalige [[Großmufti]] Saudi-Arabiens, im Jahre 1999 verstarb, lehnte al-Uthaymin es ab, seine Nachfolge anzutreten.

== Bekannte Werke ==
=== [[Koranexegese|Tafsīr]] ===
* ''Tafsīr [[Thronvers|Āyat al-Kursī]]''
* ''Tafsīr Dschuzʾ ʿAmma''
* ''Tafsīr Sūrat [[al-Baqara]]''
* ''Tafsīr Sūrat al-Kahf''
* ''Tafsīr Basmala''

=== [[Hadith]] ===
* ''Kitāb al-ʿIlm''
* ''Mustalah al-Hadīth''

=== [[ʿAqīda]] ===
* ''ʿAqīdat Ahl as-Sunna wa-l-Dschamāʿa''
* ''al-Qawāʿid al-Muthlā fī Sifāt Allāh wa-Asmāʾihi l-Husnā''
* ''al-Qawl al-Mufīd ʿalā Kitāb at-Tawhīd''
* ''Scharh al-ʿAqīda al-Wāsitiyya''
* ''Scharh al-ʿAqīda at-Tahāwiyya''
* ''Scharh al-ʿAqīda al-Hamawiyya''
* ''Scharh Kaschf asch-Schubuhāt''
* ''Scharh Lumʿat al-Iʿtiqād''
* ''Scharh Usūl al-Īmān''
* ''Scharh Usūl ath-Thalātha''

=== [[Fiqh]] ===
* ''Fiqh al-ibādāt''
* ''Fatāwā Arkān al-Islām''
* ''Madschmāʿ al-Fatāwā''
* ''asch-Scharh al-Mumtiʿ ʿalā Zād al-Mustaqniʿ''
* ''Scharh ʿUmdat al-Ahkām''

== Weblinks ==
* [http://www.ibnothaimeen.com/index.shtml Website von Muhammad ibn Uthaymin]
* {{Webarchiv |url=http://www.fatwa-online.com/scholarsbiographies/15thcentury/ibnuthaymeen_whatthepaperssay.htm |wayback=20130905103642 |text=Bilder und Presseberichte zur Beerdigung von Muhammad ibn Uthaymin}}

{{Normdaten|TYP=p|GND=103412948|LCCN=n/84/62672|VIAF=16166371}}

{{SORTIERUNG:Muhammad Ibn Uthaymin}}
[[Kategorie:Islamischer Rechtsgelehrter (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Riad)]]
[[Kategorie:Saudi-Araber]]
[[Kategorie:Geboren 1929]]
[[Kategorie:Gestorben 2001]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Muhammad ibn al-Uthaymin
|ALTERNATIVNAMEN=Muhammad ibn Uthaymin; Muhammad ibn al Uthaymeen; ʿUtaimīn, Muḥammad Ibn-Ṣāliḥ al-; Muḥammad Ibn-Ṣāliḥ Ibn-ʿUtaimīn; Ibn-ʿUtaimīn, Muḥammad Ibn-Ṣāliḥ; ʿUtaimīn, Muḥammad aṣ-Ṣāliḥ; ʿUtaimīn, Muḥammad aṣ-Ṣāliḥ al-; ʿUtaimain, Muḥammad aṣ-Ṣāliḥ al-; 'Uthaymeen, Muhammad Ibn Saalih al-; Abū ʿAbd Allāh Muḥammad b. Ṣāliḥ b. Muḥammad b. Sulaimān b. ʿAbd ar-Raḥmān al-ʿUṯaimīn al-Wahībī at-Tamīmī
|KURZBESCHREIBUNG=saudi-arabischer Religionsgelehrter
|GEBURTSDATUM=1929
|GEBURTSORT=[[Unaiza]], [[Saudi-Arabien]]
|STERBEDATUM=10. Januar 2001
|STERBEORT=[[Mekka]], [[Saudi-Arabien]]
}}

Höhere Programmiersprache

2025-05-17T20:14:58Z

212.200.164.104: /* Literatur */

Eine '''höhere Programmiersprache''' ist eine [[Programmiersprache]] zur Abfassung eines [[Computerprogramm]]s, die in [[Abstraktion (Informatik)|Abstraktion]] und [[Komplexität (Informatik)|Komplexität]] von der Ebene der [[Maschinensprache]]n deutlich entfernt ist. Die Grenze zwischen einfachen und höheren Programmiersprachen ist nicht eindeutig definiert. Mindestmerkmal ist, dass die Befehle höherer Programmiersprachen nicht unmittelbar von [[Mikroprozessor]]en verstanden und ausgeführt werden können. Die Befehle müssen durch [[Interpreter]] oder [[Compiler]] in Maschinensprache übersetzt werden. Oft sind noch weitere Stufen wie umfangreiche [[Betriebssystem]]e dazwischengeschaltet.

Die Bezeichnung als „höhere“ Sprache bezieht sich in der [[Informatik]] nicht auf den Schwierigkeitsgrad, darin zu programmieren. Im Gegenteil sollen es höhere Programmiersprachen erleichtern, komplexe Aufgaben mit einem Computerprogramm zu [[Operationalisierung|operationalisieren]]. Vielmehr bezieht sich das Attribut „höher“ auf die [[Abstraktion (Informatik)|Abstraktionsebene]] der Programmiersprache. Vereinfacht kann man sagen, dass höhere Programmiersprachen mehr und komplexere logische Zusammenhänge kürzer ausdrücken, der dann durch automatisierte Prozesse auf Maschinencode heruntergebrochen wird. Die Lesbarkeit des Programmtextes wird so erhöht und die Anzahl der expliziten rekursiven Aufgaben verringert.

== Geschichte ==
Die ersten Computer wurden mit Hilfe von Programmen in [[Maschinencode]] programmiert. Dieser besteht lediglich aus einer Folge von Zahlen, die vom Prozessor als Befehlsfolge interpretiert werden. Diese Befehle bestehen aus einfachen Anweisungen wie Arithmetik, Speicherzugriffen usw. Die erste Innovation war die Erfindung von [[Assemblersprache]]n, die nicht abstrahieren, die Befehle aber in Textform darstellen.

Als weltweit erste höhere Programmiersprache kann [[Plankalkül]] von [[Konrad Zuse]] angesehen werden, das allerdings nicht praktisch angewandt wurde. Erst Ende der [[1950]]er Jahre wurden [[Computer]] so leistungsfähig, dass Übersetzungsprogramme die Eingabe von Programmen wesentlich erleichtern konnten. [[Fortran]], [[ALGOL]] und [[Lisp]] waren die ersten Vertreter, deren Namen noch an die neuen, komfortableren Möglichkeiten der Sprachen und Übersetzerprogramme erinnern:

* Fortran – ''FOR''mula ''TRAN''slation = Formelübersetzung
* ALGOL – ''ALGO''rithmic ''L''anguage = Algorithmensprache
* LISP – ''LIS''t ''P''rocessing = Listenverarbeitung

Diese ersten höheren Sprachen enthielten abstrakte Elemente wie [[Bedingte Anweisung und Verzweigung|bedingte Anweisungen]] („wenn x wahr, dann führe y aus“) und [[Schleife (Programmierung)|Schleifen]] („solange x gilt, führe y aus“). Diese Konstrukte konnten nun mit weniger Aufwand programmiert werden und drückten in lesbarer Form ihren Zweck aus.

Später folgten weitere Sprachen, die ein höheres Maß an Abstraktion boten. Ein Programm konnte in Unterprogramme (Prozeduren) eingeteilt und diese wiederum zu Modulen zusammengefasst werden. So war es möglich, Teilprogramme von verschiedenen Programmierern entwickeln zu lassen, ohne dass eine Konvention über die verwendeten [[Variable (Programmierung)|Variablen]] getroffen werden musste, da für jede Prozedur die Variablen neu definiert wurden. Wohl aber wurden Ein- und Ausgangsparameter vom Haupt- ans Unterprogramm übergeben und umgekehrt.

Die ersten höheren Sprachen wurden direkt in Assemblersprachen oder Maschinencode übersetzt, um ausgeführt werden zu können. Einige modernere Sprachen werden heute zunächst in weniger hohe Sprachen übersetzt, aus denen wiederum ein effizienter Maschinencode gewonnen werden kann. Die Programme, mit denen solche Übersetzungen ausgeführt werden, heißen [[Compiler]]. Da die Abstraktionen mittlerweile weit vorangeschritten sind, ist der Begriff „höhere Sprache“ relativ zu sehen. So sind die ersten Sprachen wie Fortran höhere Sprachen als Assembler und modernere Sprachen höher als Fortran.

Daneben kann ein Programm in einer höheren Programmiersprache auch interpretiert werden. Dabei wird das Programm nicht vorab in Maschinencode übersetzt, sondern während seiner Laufzeit führt ein [[Interpreter]] die Anweisungen aus. Dieser bildet also eine Schnittstelle zwischen Rechner und Programm und ist heutzutage meist in einer anderen höheren Programmiersprache geschrieben.

Die meisten „modernen“ Programmiersprachen ([[BASIC]], [[C (Programmiersprache)|C]], [[C++]], [[C-Sharp|C#]], [[Visual Basic .NET|VB.NET]], [[Pascal (Programmiersprache)|Pascal]] und [[Java (Programmiersprache)|Java]]) sind Sprachen der ''dritten Generation''.

== Vergleich zur Assemblersprache ==

{| class="wikitable toptextcells"
|- class="hintergrundfarbe5"
! style="width:50%"| [[Assemblersprache]]
! Höhere Programmiersprache
|-
| Stark komprimierte, platzsparende Syntax
| Syntax an menschliche Gewohnheiten angepasst
|-
| Nur auf einem bestimmten Prozessortyp lauffähig
| Großteils [[Portabilität (Informatik)|prozessorunabhängig]]
|-
| Hohe Geschwindigkeit durch maschinennahe Befehle
| Geschwindigkeitsverlust durch Übersetzung in [[Maschinensprache]]
|-
| Datentypen des Prozessors ([[Byte]], [[Datenwort|Wort]], [[Langwort]])
| Abstrakte, maschinenunabhängige [[Datentyp]]en ([[Gleitkommazahl]]en u. a.)
|-
| Nur einfache Datentypen
| [[Datenstruktur]]en (Feld, Record)
|-
| Sprungbefehle, [[Makro]]s
| Mehrere [[Kontrollstruktur]]en (''if'', ''while'', …)
|-
| Grundlegende semantische Analyse möglich
| Weitgehende [[Semantik|semantische]] Analyse möglich
|-
|
'''Beispiel:'''
.START ST
ST: MOV R1,#2
MOV R2,#1
M1: CMP R2,#20
BGT M2
MUL R1,R2
INI R2
JMP M1
M2: JSR PRINT
.END
|
'''Beispiel:'''
A:=2;
FOR I:=1 TO 20 LOOP
A:=A*I;
END LOOP;
PRINT(A);
|}

== Einordnung und Nachfolge ==
Die höheren Programmiersprachen nennt man auch Programmiersprachen der dritten Generation (englisch ''third generation languages'', kurz ''3GL''). In Programmiersprachen der dritten Generation muss genau beschrieben werden, wie ein bestimmtes Problem gelöst werden soll. Die Aufgabenstellung ist schwierig aus dem Quellcode zu erkennen. Darum wurden Programmiersprachen der [[4GL|vierten Generation]] entwickelt, die normalerweise für spezielle Problemlösungen optimiert sind und bei denen der Code beschreibt, was der Computer ausführen soll.

Heute gibt es zahlreiche unterschiedliche höhere Programmiersprachen, von denen einige allgemein anwendbar sind, andere aber nur für Spezialanwendungen eingesetzt werden. Allgemein anwendbare Programmiersprachen (general purpose languages) sind nicht auf spezielle Anwendungsfälle zugeschnitten und bieten allgemeine Abstraktionen. Die sog. domänenspezifischen Sprachen ([[Domain Specific Languages]], DSL) andererseits ermöglichen Abstraktionen für einen bestimmten Anwendungsfall. Letztere werden derzeit intensiv erforscht. So gibt es Sprachen für die Gleissteuerung von Zugstrecken mit teilweise grafischer Programmierung, d. h. der „Programmtext“ besteht dort aus Grafiken, die beispielsweise per Mauseingabe manipuliert werden können. Das Ziel bei dieser Programmierweise ist es, eine Abfassung von Programmen in Textform unnötig zu machen und die Programmierung durch intuitive Bedienung einer größeren Anwendergruppe zugänglich zu machen.

== Beispiele ==
Einige Beispiele für aktuelle höhere Programmiersprachen sind im Folgenden gelistet.
Neben dem Namen ist angegeben, ob es sich um eine interpretierte Sprache handelt, oder ob eine Übersetzung in Maschinencode durch einen Compiler erfolgt. Bei interpretierten Sprachen ist ein entsprechendes Programm (Interpreter) zur Laufzeit erforderlich, um den Quellcode zu interpretieren und auszuführen.
* [[Java (Programmiersprache)|Java]] – in [[Bytecode]] kompiliert; durch [[Java Virtual Machine]] interpretiert oder weiter in Maschinencode [[Just-in-time-Kompilierung|kompiliert]]
* [[C++]] – kompiliert
* [[JavaScript]] – interpretiert
* [[C-Sharp|C#]] – in [[Common Intermediate Language]] kompiliert; durch [[Virtual Execution System]] interpretiert<ref>{{Internetquelle |autor=blackdwarf |url=https://docs.microsoft.com/de-de/dotnet/standard/managed-code |titel=Was ist verwalteter Code? |sprache=de-DE |abruf=2019-03-10}}</ref>
* [[Python (Programmiersprache)|Python]] – interpretiert
* [[PHP]] – interpretiert
* [[Ruby (Programmiersprache)|Ruby]] – interpretiert

== Siehe auch ==
* [[Zeittafel der Programmiersprachen]]
* [[Liste von Programmiersprachen]]

== Literatur ==
* Wolf Zimmermann und Roswitha Picht: ''Konzepte höherer Programmiersprachen''. [[De Gruyter|De Gruyter Oldenbourg]] 2022. ISBN 978-3-486-58102-7
* Achim Clausing: ''Programmiersprachen – Konzepte, Strukturen und Implementierung in Java''. [[Spektrum Akademischer Verlag]] 2011, ISBN 978-3-8274-2850-9

== Einzelnachweise ==
<references />

{{Normdaten|TYP=s|GND=4160367-9|LCCN=|NDL=|VIAF=}}

{{SORTIERUNG:Hohere Programmiersprache}}
[[Kategorie:Programmiersprachklasse]]

Wikipedia (Deutsch) – Lokale Kopie - Benutzerbeiträge [de]

Muhammad ibn al-Uthaymin

Höhere Programmiersprache