Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Teoria modeli." wg kryterium: Temat


propozycja biblioteki
Tytuł pełny:
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / ed. by C. Berline, K. McAloon, and J.-P. Ressayre
Wydawca:
Berlin [etc.] : Springer-Verlag
Rok wydania:
1981
Seria:
Lecture Notes in Mathematics ; 890
Temat:
Teoria modeli - konferencje.
Książka
propozycja biblioteki
Tytuł pełny:
Model theory and its applications / Ralph Kopperman
Wydawca:
Boston : Allyn and Bacon
Rok wydania:
cop. 1972
Seria:
Allyn and Bacon Series in Advanced Mathematics
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Saturated model theory / Gerald E. Sacks
Wydawca:
Reading : W. A. Benjamin
Rok wydania:
cop. 1972
Seria:
Mathematics Lecture Note Series
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Classification theory for elementary abstract classes / Saharon Shelah
Wydawca:
London : College Publications
Rok wydania:
cop. 2009
Seria:
Studies in Logic : Mathematical Logic and Foundations
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Models and games / Jouko Väänänen
Wydawca:
Cambridge [etc.] : Cambridge University Press
Rok wydania:
cop. 2011
Seria:
Cambridge Studies in Advanced Mathematics ; 132
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Model-theoretic logics / ed. by J. Barwise and S. Feferman ; with contributions by J. Baldwin [et al.]
Wydawca:
New York [etc.] : Springer-Verlag
Rok wydania:
cop. 1985
Seria:
Perspectives in Mathematical Logic
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
An introduction to model theory / Žarko Mijajlovič ; University of Novi Sad , Institute of Mathematics
Wydawca:
Novi Sad : University of Novi Sad. Institute of Mathematics
Rok wydania:
1987
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Basic model theory / by Kees Doets
Wydawca:
Stanford : CSLI Publications : FoLLI
Rok wydania:
1996
Seria:
Studies in Logic, Language, and Information
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Model theory for infinitary logic : logic with counjunctions and finite quantifiers / H. Jerome Keisler
Wydawca:
Amsterdam ; London : North-Holland Publishing Company
Rok wydania:
1971
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 62
Temat:
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Internal and forcing models for the impredicative theory of classes / Rolando Chuaqui ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1980
Seria:
Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 176
Temat:
Ograniczenie (teoria modeli).
Książka
propozycja biblioteki
Tytuł pełny:
The axiom of determinacy, forcing axioms and the nonstationary ideal / W. Hugh Woodin
Wydawca:
Berlin ; New York : Walter de Gruyter
Wydanie:
2nd rev. ed
Rok wydania:
cop. 2010
Seria:
Series in Logic and Its Applications, 1438-1893 ; 1
Temat:
Ograniczenie (teoria modeli).
Książka
propozycja biblioteki
Tytuł pełny:
Model theory and topoi : a collection of lectures by various authors / edited by F.W. Lawvere, C. Maurer and G.C. Wraith
Wydawca:
Berlin [etc.] : Springer-Verlag
Rok wydania:
1975
Seria:
Lecture Notes in Mathematics, 0075-8434 ; 445
Temat:
Toposy (matematyka).
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
First order topology / C. W. Henson [et al.] ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1977
Seria:
Dissertationes Mathematicae = Rozprawy Matematyczne ; 143
Temat:
Przestrzenie topologiczne.
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Identification of control plants / by Zdzisław Bubnicki ; [transl. from the pol. by Antoni Pol]
Wydawca:
Warszawa : PWN-Polish Scientific Publishers ; Amsterdam : Elsevier Scientific Publishing Company
Rok wydania:
1980
Temat:
Teoria sterowania - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
The metamathematics of algebraic systems : collected papers: 1936-1967 / Anatolij Ivanovič Mal'cev ; transl., ed. and provided with supplementary notes by Benjamin Franklin Wells, III
Wydawca:
Amsterdam ; London : North-Holland Publishing Company
Rok wydania:
1971
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 66
Temat:
Teoria modeli.
Algebra.
Książka
propozycja biblioteki
Tytuł pełny:
Completeness properties of classical theories of finite type and the normal form theorem / Peter Päppinghaus ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1983
Seria:
Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 207
Temat:
Teoria modeli.
Teoria dowodu.
Książka
propozycja biblioteki
Tytuł pełny:
Introduction to model theory and to the metamathematics of algebra / Abraham Robinson
Wydawca:
Amsterdam ; London : Noth-Holland Publishing Company ; New York : American Elsevier Publishing Company
Wydanie:
2nd revused printing
Rok wydania:
1974
Seria:
Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:
Teoria modeli.
Algebra abstrakcyjna.
Metamatematyka.
Książka
propozycja biblioteki
Tytuł pełny:
Algebraische Modelle, Kategorien und Gruppoide / hrsg. von Hans-J. Hoehnke
Wydawca:
Berlin : Akademie-Verlag
Rok wydania:
cop. 1979
Seria:
Studien zur Algebra und ihre Anwendungen : Schriftenreihe des Zentralinstituts für Mathematik und Mechanik bei der Akademie der Wissenschaften der DDR ; Bd. 7
Temat:
Kategorie (matematyka).
Grupoidy.
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Definable quantifiers in second order arithmetic and elementary extensions of [omega]-models / Wojciech Guzicki ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1983
Seria:
Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 208
Temat:
Rachunek kwantyfikatorów.
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / Cyrus F. Nourani
Wydawca:
Toronto ; New Jersey : Apple Academic Press
Rok wydania:
cop. 2014
Temat:
Teoria funktorów.
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Absolute logics / Jyrki Akkanen
Wydawca:
Helsinki : Suomalainen Tiedeakatemia
Rok wydania:
1995
Seria:
Annales Academiae Scientiarum Fennicae. Series A. 1, Mathematica. Dissertationes, 0355-0087 ; 100
Temat:
Logika symboliczna i matematyczna - rozprawy akademickie.
Teoria zbiorów - rozprawy akademickie.
Teoria modeli - rozprawy akademickie.
Logika symboliczna i matematyczna.
Teoria modeli.
Teoria zbiorów.
Książka
propozycja biblioteki
Tytuł pełny:
Model theory / C. C. Chang, H. J. Keisler
Wydawca:
Amsterdam ; London : North-Holland Publishing Company ; New York : American Elsevier Publishing Company
Rok wydania:
cop. 1973
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 73
Temat:
Teoria modeli.
Logika symboliczna i matematyczna.
Książka
propozycja biblioteki
Tytuł pełny:
Discriminator-algebras : algebraic representation and model theoretic properties / Heinrich Werner
Wydawca:
Berlin : Akademie-Verlag
Rok wydania:
1978
Seria:
Studien zur Algebra und ihre Anwendungen : Schriftenreihe des Zentralinstituts für Mathematik und Mechanik bei der Akademie der Wissenschaften der DDR ; Bd. 6
Temat:
Algebra.
Reprezentacje algebr.
Teoria modeli.
Książka
propozycja biblioteki
Tytuł pełny:
Notes on forcing axioms / Stevo Todorcevic ; eds. Chitat Chong [et al.]
Wydawca:
Singapore [etc.] : World Scientific
Rok wydania:
cop. 2014
Seria:
Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, 1793-0758 ; vol. 26
Temat:
Ograniczenie (teoria modeli).
Aksjony.
Klasy Baire'a.
Książka
propozycja biblioteki
Tytuł pełny:
Theory of bound states and ionization equilibrium in plasmas and solids / von Werner Ebeling, Wolf Dietrich Kraeft, Dietrich Kremp
Wydawca:
Berlin : Akademie-Verlag
Rok wydania:
1976
Seria:
Ergebnisse der Plasmaphysik und der Gaselektronik ; Bd. 5
Temat:
Jonizacja - modele matematyczne.
Plazma (gaz zjonizowany) - modele matematyczne.
Poziomy energetyczne (teoria kwantowa) - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Reactive transport in porous media / ed. by Peter C. Lichtner, Carl I. Steefel, Eric H. Oelkers
Wydawca:
Washington : Mineralogical Society of America
Rok wydania:
1996
Seria:
Reviews in Mineralogy, 0275-0279 ; vol. 34
Temat:
Przepływ wód podziemnych - modele matematyczne.
Materiały porowate - modele matematyczne.
Teoria transportu (fizyka) - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Functional - analytic concepts and structures of neutron transport theory. Vol. 1 = Funkcionalno analitični koncept in strukture neutronske transportne teorije. Vol. 1 / Marjan Ribarič
Wydawca:
Ljubljana : Slovenska Akademija Znanosti in Umetnosti
Rok wydania:
1973
Seria:
Dela / Slovenska akademija znanosti in umetnosti. Razred za matematične, fizikalne in tehnične vede = Opera / Academia Scientiarum et Artium Slovenica. Classis III : Mathematica, Physica, Technica ; 9
Temat:
Analiza funkcjonalna.
Teoria transportu neutronów - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Functional - analytic concepts and structures of neutron transport theory. Vol. 2 = Funkcionalno analitični koncept in strukture neutronske transportne teorije / Marjan Ribarič
Wydawca:
Ljubljana : Slovenska Akademija Znanosti in Umetnosti
Rok wydania:
1973
Seria:
Dela / Slovenska akademija znanosti in umetnosti. Razred za matematične, fizikalne in tehnične vede = Opera / Academia Scientiarum et Artium Slovenica. Classis III : Mathematica, Physica, Technica ; 9
Temat:
Analiza funkcjonalna.
Teoria transportu neutronów - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Simultaneous estimation of parameters for a generalized logistic distribution and application to time series models / by Klaus Abberger, Siegfried Heiler
Wydawca:
Kraków : Wydaw. Akademii Ekonomicznej
Rok wydania:
2000
Seria:
Rector's Lectures, 1230-1477 ; no 46
Temat:
Estymacja parametrów - podręczniki akademickie.
Rozkład logistyczny.
Szeregi czasowe - podręczniki akademickie.
Estymacja parametrów.
Szeregi czasowe.
Teoria estymacji - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Option pricing and portfolio optimization : modern methods of financial mathematics / Ralf Korn, Elke Korn ; [transl. from German by Ralf Korn, Elke Korn]
Wydawca:
Providence, RI : American Mathematical Society
Rok wydania:
cop. 2001
Seria:
Graduate Studies in Mathematics, 1065-7339 ; vol. 31
Temat:
Opcje (finanse) - modele matematyczne.
Zarządzanie portfelem - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Data envelopment analysis : theory, methodology and application / Abraham Charnes [et al.]
Wydawca:
Boston ; Dordrecht ; London : Kluwer Academic Publishers
Wydanie:
4th print
Rok wydania:
1998
Temat:
Modele ekonometryczne.
Książka
propozycja biblioteki
Tytuł pełny:
Mathematical modelling in science and technology : the Fourth International Conference, Zurich, Switzerland, August 1983 / ed. by Xavier J. R. Avula [et al.]
Wydawca:
New York [etc.] : Pergamon Press
Rok wydania:
cop. 1984
Temat:
Modele matematyczne - konferencje.
Modele matematyczne - zastosowania naukowe - konferencje.
Modele matematyczne - zastosowania przemysłowe - konferencje.
Książka

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz