Каталог: Наука, образование »•» Математика, статистика

	Ruppen, Paul Einstieg in die formale Logik: ein Lern- und Ubungsbuch fur Nichtmathematiker
	Издательство: Bern; Berlin; Frankfurt a. M.; New York; Paris; Wien: Peter Lang
	Переплет: мягкий; 368 страниц; 1997 г.
	ISBN: 3-906756-85-8; Формат: увеличенный
	Язык: немецкий
	На сайте с 05.11.2024

Аннотация

Inhaltsverzeichnis
Vorwort
Inhaltsverzeichnis
I. Teil: Aussagenlogik
Einleitung
Die formale Sprache der Aussagenlogik und Schlusschemata
Regeln fur das Konditional und die Negation
Regeln fur die Konjunktion und die Disjunktion
Das Bikonditional
Einige interessante Beweise
Theoreme, Implikation und Aquivalenz
Substitution und Argumentintroduktion
Aquivalentes ersetzen - KNF und DNF
II. Teil: Etwas Metalogik
Syntax
Interpretation
Konsistenz und Vollstandigkeit der Aussagenlogik
Axiomatik
Abweichende Logiksysteme
Einige Bemerkungen zur Philosophie der Logik
III. Teil: Pradikatenlogik
Einleitung
Universalquantorintroduktion und -elimination
Existenzquantorintroduktion und -elimination
Einige interessante Beweise
Schlusse mit mehrstelligen Pradikaten
Identität
Ei genschaften von zweistelligen Pradikaten
Syntax, Axiomatik und abweichende Systeme der Pradikatenlogik
Syllogistik
IV. Teil: Mengenlehre; Semantik der Pradikatenlogik
Einleitung
H erleitung der Russell-Paradoxie
Das Zermelo-Fraenkel-System: Erste Axiome und Beweise
Geordnete Paare, Relationen und Funktionen
Die Menge der naturlichen Zahlen
Semantik der Sprache der Pradikatenlogik
V. Teil: Losungen zu den Ubungen
Literaturangaben
Reg ister
Symbole und Abkürzungen
Zusammenfass ung der Syntax von GL
Zusammenfassung der Syntax von PL

В продаже   Хочу купить

Продавец: wowik (Томск, RU/70 )   Состояние: отличное; В продаже с 05.11.2024 Условия доставки и оплаты Способы доставки: почтой по предоплате Способы оплаты: банковской картой Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно. При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно. За пределы РФ книги не высылаю Встречи по договоренности исключаются.	Цена 1800 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать