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:
Teoriâ nasyŝennyh modelej / Dž. E. Saks ; per. s angl. L. L. Maksimovoj i E. A. Palûtina ; pod red. A. D. Tajmanova
Wydawca:
Moskva : "Mir"
Rok wydania:
1976
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:
Teoriâ nepreryvnyh modelej / G. Dž. Keisler, Čèn Čen'-čun' ; per. s angl. G. A. Burle ; pod red. A. G. Dragalina
Wydawca:
Moskva : "Mir"
Wydanie:
Izd. 2
Rok wydania:
1971
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:
Estymacja i sterowanie statystycznie optymalne w układach liniowych / J. S. Meditch ; tłumaczyli: Zbigniew Nahorski, Tadeusz Siekierski
Wydawca:
Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:
Wydanie I
Rok wydania:
1975
Temat:
Stochastyczna teoria sterowania - modele matematyczne.
Teoria estymacji - modele matematyczne.
Układy sterowania liniowe - modele matematyczne.
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:
Objets algébriquement clos et injectifs dans les catégories localement présentables / par Sabah Fakir
Wydawca:
Paris : Société Mathématique de France
Rok wydania:
1975
Seria:
Bulletin de la Société Mathématique de France. Mémoire ; no 42
Temat:
Kategorie (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:
Estymacja i sterowanie statystycznie optymalne / Ryszard Gessing, Zdzisław Duda
Wydawca:
Gliwice : Wydawnictwo Politechniki Śląskiej
Rok wydania:
2005
Temat:
Teoria estymacji - modele matematyczne - podręczniki akademickie.
Teoria sterowania - modele matematyczne - podręczniki akademickie.
Estymacja parametrów - modele matematyczne - podręczniki akademickie.
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:
Osobye optimal'nye upravleniâ / R. G. Gabasov, F. M. Kirillova
Wydawca:
Moskva : Izdatel'stvo "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:
1973
Seria:
Teoretičeskie Osnovy Tehničeskoj Kibernetiki
Temat:
Teoria sterowania - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Z prac nad metodologią i budową prognoz statystycznych / [Tadeusz Bartosiewicz, Czesława Walter, Maria Malinowska-Wasyl] ; Główny Urząd Statystyczny. Zakład Badań Statystyczno-Ekonomicznych
Wydawca:
Warszawa : Główny Urząd Statystyczny. Zakład Badań Statystyczno-Ekonomicznych
Rok wydania:
1974
Seria:
Z Prac Zakładu Badań Statystyczno-Ekonomicznych ; z. 76
Temat:
Teoria prognozowania - modele ekonometryczne.
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:
Prace z zakresu ekonometrii / [red. nauk. z. Michał Woźniak]
Wydawca:
Kraków : Akademia Ekonomiczna
Rok wydania:
1992
Seria:
Zeszyty Naukowe / Akademia Ekonomiczna w Krakowie, 0208-7944 ; nr 355
Temat:
Koszt i poziom życia - Polska - 1945-1990.
Migracja wewnętrzna - Polska - 1945-1990.
Teoria prognozowania - modele ekonometryczne.
Teoria prognozowania - modele matematyczne.
Dzieci pozamałżeńskie - Polska - 1970-2000.
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:
Konstrukcja systemu prognoz wczesnego ostrzegania w gospodarce żywnościowej / Helena Polak
Wydawca:
Warszawa : Główny Urząd Statystyczny. Zakład Badań Statystyczno-Ekonomicznych
Rok wydania:
1990
Seria:
Z Prac Zakładu Badań Statystyczno-Ekonomicznych, 0208-9734 ; z. 189
Temat:
Szeregi czasowe - modele matematyczne.
Teoria prognozowania - modele ekonometryczne.
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:
Teoria chaosu w badaniach funkcjonowania podmiotów gospodarujących : wybrane zastosowania w sektorze ochrony zdrowia / Michał Suchanek
Wydawca:
Gdańsk : Wydawnictwo Uniwersytetu Gdańskiego
Rok wydania:
2016
Seria:
Dissertationes Laudatissiamae Universitas Gedanensis
Temat:
Służba zdrowia - aspekt ekonomiczny.
Chaos (teoria systemów) - modele matematyczne.
Książka
propozycja biblioteki
Tytuł pełny:
Spravočnaâ kniga po matematičeskoj logike. Č. 1, Teoriâ modelej / pod. red. Dž. Barvajsa ; per. s angl. S. S. Gončarova [et al.] pod red. Û. L. Ersova, E. A. Palûtina, A. D. Tajmanova
Wydawca:
Moskva : "Nauka" Glavnaâ redakciâ fiziko-matematičeskoj literatury
Rok wydania:
1982
Temat:
Teoria modeli.
Logika symboliczna i matematyczna.
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:
Przybliżone metody kwantowej teorii pola w czasoprzestrzeniach statycznych czarnych dziur / Jerzy Matyjasek
Wydawca:
Lublin : Wydaw. UMCS
Rok wydania:
2002
Seria:
Rozprawy Habilitacyjne / Uniwersytet Marii Curie-Skłodowskiej. Wydział Matematyki i Fizyki, 0860-7729 ; 78
Temat:
Czarne dziury (astronomia) - modele matematyczne.
Kwantowa teoria pola - modele matematyczne.
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:
Prognozowanie i symulacje : wybrane zagadnienia / Bogusław Guzik, Dorota Appenzeller, Witold Jurek
Wydawca:
Poznań : Wydawnictwo Akademii Ekonomicznej
Wydanie:
Wyd. 2 popr. i rozsz
Rok wydania:
2005
Seria:
Materiały Dydaktyczne / Akademia Ekonomiczna w Poznaniu, 1427-1117 ; 168
Temat:
Teoria prognozowania - modele ekonometryczne - podręczniki akademickie.
Teoria prognozowania - metody symulacji - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Prognozowanie i symulacje : wybrane zagadnienia / Bogusław Guzik, Dorota Appenzeller, Witold Jurek
Wydawca:
Poznań : Wydaw. AE
Rok wydania:
2004
Seria:
Materiały Dydaktyczne / Akademia Ekonomiczna w Poznaniu, 1427-1117 ; 153
Temat:
Teoria prognozowania - modele ekonometryczne - podręczniki akademickie.
Teoria prognozowania - metody symulacji - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Mathematische Modelle der kinetischen Gastheorie / Edmund Hlawka
Wydawca:
Opladen : Westdeutscher Verlag
Rok wydania:
cop. 1974
Seria:
Vorträge / Rheinisch-Westfälische Akademie der Wissenschaften. Natur-, Ingenieur- und Wirtschaftswissenschaften ; N 240
Temat:
Teoria kinetyczna gazów - modele matematyczne.
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