Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Versand nach:
🇩🇪 Deutschland 🇦🇹 Österreich 🇨🇭 Schweiz
  • Startseite
  • Detailsuche
  • alles programmes decisions modelle (Titel) - gebraucht, antiquarisch & neu kauf…

alles programmes decisions modelle [Titel]

(2 Ergebnisse)
Titel
alles programmes decisions modelle
Titel: alles programmes decisions model…
Suchverlauf
Investments von Zvi Bodie Professor of Finance and Economics Boston University School of Management director of Boston University`s Chartered Financial Analysts Examination Review Program consultant private and governmental organizations research associate National Bureau of Economic Research director NBER Project on Financial Aspects of the U. S. Pension System Pension Research Council The Wharton School Pensions in the U. S. Economy Issues in Pension Economics Financial Aspects of the U. S. Pension System, Alex Kane professor of finance and economics Graduate School of International Relations and Pacific Studies University of California San Diego Faculty of Economics University of Tokyo Graduate School of Business Harvard Kennedy School of Government Harvard research associate National Bureau of Economic Research corporate finance portfolio management capital markets measurement of market volatility pricing of options developer of the International Simulation Laboratory ISL training and experimental research in executive decision making, Alan Marcus professor of finance Wallace E. Carroll School of Management Boston College PHD in Economics MIT Athens Laboratory of Business Administration MIT`s Sloan School of Management Chartered Financial Analysts Review Program Boston College portfolio management applications of futures options pricing models product development utility rate proceedings Federal Home Loan Mortgage Corporation Freddie Mac models of mortgage pricing credit risk Advisory Council for the Currency Risk Management Alliance of State Street Bank Windham Capital Management Boston Wall Street securities markets financial institutions CFA examination investment information investment concepts investments market security markets asset allocation futures options derivative security markets Wirtschaft Betriebswirtschaft Management Finanzierung ISBN-10 0-07-112305-9 0071123059 ISBN-13 978-0-07-112305-1 9780071123051

Investments von Zvi Bodie Professor of Finance and Economics Boston University School of Management…

3,90 Ødurchschnittliche Bewertung · 727 Bewertungen bei Goodreads

von Zvi Bodie Professor of Finance Verlag: Mcgraw-Hill Professional

Auflage: 5th (2008) Auflage: 5th (2008) Softcover 1015 S. 25 x 20,6 x 4,2 cm Zustand: gebraucht - sehr gut, CFA examination Wall Street Journal financial institutions investor investment concepts investment concepts investments market security markets asset allocation futures options derivative s…

Gebraucht, sehr gut
Wirtschaft / Werbung / Börse
Bestell-Nr.: BN2576
EAN: 9780071123051
ISBN: 0071123059
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

72,90 EUR

zzgl. 6,99 EUR Verpackung & Versand
Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Schmitt Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z. B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet. Inhalt: 0 Einleitung. - 1 Voraussetzungen. - 1. 1 Terminologie und Notation. - 1. 2 Übungsaufgaben. - 2 Der Prädikatenkalkül erster Stufe. - 2. 1 Die Syntax des Prädikatenkalküls erster Stufe. - 2. 2 Semantik des Prädikatenkalküls erster Stufe. - 2. 3 Die Interpretation von Formeln des Prädikatenkalküls. - 2. 4 Herbrand-Strukturen. - 2. 5 Übungsaufgaben. - 3 Unifikation. - 3. 1 Substitution. - 3. 2 Der Termverband. - 3. 3 Unifikation sortierter Terme. - 3. 4 Unifikation von Termen zweiter Stufe. - 3. 5 Übungsaufgaben. - 4 Unifikationsalgorithmen. - 4. 1 Der Algorithmus von J. A. Robinson. - 4. 2 Der Martelli-Montanari Algorithmus. - 4. 3 Übungsaufgaben. - 5 Resolutionskalküle. - 5. 1 Das Resolutionsprinzip. - 5. 2 Die Stützmengen-Strategie. - 5. 3 Beweisdiagramme. - 5. 4 Modellelimination. - 5. 5 Übungsaufgaben. - 6 PROLOG-Situationen. - 6. 1 Lineare Resolution. - 6. 2 Beweissuchbäume. - 6. 3 Fixpunkte. - 6. 4 Im Endlichen erfolglose Beweissuchbäume. - 6. 5 Übungsaufgaben. - 7 Eigenschaften von Hornkauseln. - 7. 1 Modelltheoretische Eigenschaften von Hornklauseln. - 7. 2 Die Turingvollständigkeit des Hornklauselfragments. - 7. 3 Übungsaufgaben. - 8 Allgemeine PROLOG-Situationen. - 8. 1 NF-Beweissuchbäume. - 8. 2 Die Vervollständigung. - 8. 3 Der Korrektheitssatz für NF-Beweissuche. - 8. 4 Fixpunkte. - 8. 5 Ein Vollständigkeitssatz. - 8. 6 Übungsaufgaben. - 9 Dreiwertige Semantik für verallgemeinerte PROLOG-Situationen. - 9. 1 Einführung in die dreiwertige Logik. - 9. 2 Die Dreiwertige Vervollständigung. - 9. 3 Exkurs über saturierte Strukturen. - 9. 4 Übungsaufgaben. - 10 PROLOG-Situationen mit Gleichheit. - 10. 1 Syntax und Semantik. - 10. 2 K-Herbrand-Strukturen. - 10. 3 E-Resolution. - 10. 4 Übungsaufgaben. - 11 Logische Programme mit Randbedingungen. - 11. 1 Prolog-Situationen mit Randbedingungen. - 11. 2 Übungsaufgaben. - Lösungen Sprache deutsch Maße 155 x 235 mm Einbandart Paperback Mathematik Informatik Informatiker Beweis Division dreiwertige Logik Logiker Logische Programmierung Prädikate Prädikatenlogik Programmieren Programmierung PROLOG Resolutionskalkül ISBN-10 3-540-55702-4 3540557024 ISBN-13 978-3-540-55702-9 9783540557029

Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Sc…

von Peter H. Schmitt Verlag: Springer

1992 1992 Softcover 246 S. Zustand: gebraucht - sehr gut, Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Progr…

Gebraucht, sehr gut
Medizin / Pharmazie / HNO
Bestell-Nr.: BN14966
EAN: 9783540557029
ISBN: 3540557024
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

53,99 EUR

zzgl. 6,99 EUR Verpackung & Versand
Nichts passendes gefunden?
Titel
alles programmes decisions modelle
Link zur Suche kopieren

Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!

Meine zuletzt angesehenen Bücher

The Bhagavata Purna. - The Birch Bark Manuscript in the State and University Library in Gottingen [Göttingen]. With a concordance by Maheshwari Prasad. Arbeiten aus der Niedersächsischen Staats- und Universitätsbibliothek, Göttingen. Volume 228 in the series Sata-Pitaka Series: Indo-Asian Literatures.
The Bhagavata Purna. - The Birch Bark Manuscript in the State…
von Heinz Bechert
Das Ende der Reparationen. - Oln, 2 bis 3
Das Ende der Reparationen. - Oln, 2 bis 3
von SCHACHT H
Der Seelensucher. Ein psychoanalytischer Roman.
Der Seelensucher. Ein psychoanalytischer Roman.
von Georg Groddeck
Rosenjahrbuch 1997 - m. viel. Abb.
Rosenjahrbuch 1997 - m. viel. Abb.
Allgemeine-nosologische Grundlinien oder Grundzüge des kranken Lebens unserer Haussäugethiere für Menschenärzte und Thierärzte.
[Veterinärmedizin. -]
Allgemeine-nosologische Grundlinien oder Grundzüge des kranken L…
von J Mundigl
Leonhard Staltmayr. Das Leben eines Bauern.
Leonhard Staltmayr. Das Leben eines Bauern.
von Therese Bauer
Treuhand- und Revisionswesen
Treuhand- und Revisionswesen
von Erich Loitlsberger