Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz

Miroslav Mleziva

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz”

Über einen Mordellschen Satz

Edmund Landau (1928-1929)

Prace Matematyczno-Fizyczne

Similarity:

Über ein Iterationsverfahren für die Lösung spezieller linearer Gleichungssysteme mit einer zyklischen Matrix

Miroslav Šisler (1978)

Aplikace matematiky

Similarity:

In der Arbeit werden approximative Werte für Optimalparameter in gewissen zweiparametrigen Iterationsverfahren zur Lösung eines linearen Gleichungssystems von der Form $x = B x + b$ angegeben. Es handelt sich um den Fall, wenn die Matrix $B$ schwach 2-zyklisch ist und die Eigenwerte der Matrix $B^{2}$ alle negativ sind.

Bemerkungen zum Verfahren der koordinatenweisen Suche

Dieter Oelschlägel, Herbert Süsse (1981)

Aplikace matematiky

Similarity:

In der vorliegenden Arbeit wird das Verfahren der koordinatenweisen Suche mit Hilfe der Intervallarithmetik realisiert. Dadurch ist es möglich, bei speziellen nichtlinearen Optimierungsproblemen alle auftretenden Fehlerarten zu erfaßen, einschliesslich eingangsbedingter Fehler. Vor- und Nachteile werden erläutert sowie Testbeispiele angegeben.

A comparison of two upper bounds on the permanent of $(0, 1)$ -matrices. (Ein Vergleich zweier oberer Schranken für die Permanente von $(0, 1)$ -Matrizen.)

Hwang, Suk-Geun, Kräuter, Arnold Richard (1996)

Séminaire Lotharingien de Combinatoire [electronic only]

Similarity:

Algorithms. 37. RADIX. Numerische Lösung der Gleichung $f (t) = 0$ mit Hilfe der quadratischen Interpolation

František Koutný (1974)

Aplikace matematiky

Similarity:

Displaying similar documents to “Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz”

Über einen Mordellschen Satz

Über ein Iterationsverfahren für die Lösung spezieller linearer Gleichungssysteme mit einer zyklischen Matrix

Bemerkungen zum Verfahren der koordinatenweisen Suche

A comparison of two upper bounds on the permanent of ( 0 , 1 ) -matrices. (Ein Vergleich zweier oberer Schranken für die Permanente von ( 0 , 1 ) -Matrizen.)

Algorithms. 37. RADIX. Numerische Lösung der Gleichung f ( t ) = 0 mit Hilfe der quadratischen Interpolation

A comparison of two upper bounds on the permanent of $(0, 1)$ -matrices. (Ein Vergleich zweier oberer Schranken für die Permanente von $(0, 1)$ -Matrizen.)

Algorithms. 37. RADIX. Numerische Lösung der Gleichung $f (t) = 0$ mit Hilfe der quadratischen Interpolation