Muutke küpsiste eelistusi

E-raamat: Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics

Edited by (Ntu, S'pore), Edited by (Wuhan Univ Of Technology, China), Edited by (Nanjing Univ, China), Edited by (Tohoku Univ, Japan), Edited by (Nus, S'pore)
  • Formaat: 196 pages
  • Ilmumisaeg: 18-May-2022
  • Kirjastus: World Scientific Publishing Co Pte Ltd
  • Keel: eng
  • ISBN-13: 9789811259302
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 70,20 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of MathematicsSuurem pilt
  • Formaat: 196 pages
  • Ilmumisaeg: 18-May-2022
  • Kirjastus: World Scientific Publishing Co Pte Ltd
  • Keel: eng
  • ISBN-13: 9789811259302
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This Volume Features The Latest Scientific Developments In The Fields Of Computability Theory And Logical Foundations Of Mathematics As Well As Applications. The Scope Involves The Topics Of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy Of Mathematics, Constructive Mathematics, Theory Of Randomness And Computational Complexity Theory.

Preface vii
Opening Speech ix
Organizing Committee and Program Committee xi
Overview of CTFM 2019 xv
Chi-Tat Chong's Work on Reverse Mathematics
1(16)
Yue Yang
On One-Variable Fragments of Modal μ-Calculus
17(30)
Leonardo Pacheco
Wenjuan Li
Kazuyuki Tanaka
Infinite Games, Inductive Definitions and Transfinite Recursion
47(32)
Kazuyuki Tanaka
Keisuke Yoshii
A Survey of the Distributional Complexity for AND-OR Trees
79(18)
Weiguang Peng
Rational Sequences Converging to Left-c.e. Reals of Positive Effective Hausdorff Dimension
97(26)
Hiroyuki Imai
Masahiro Kumabe
Kenshi Miyabe
Yuki Mizusawa
Toshio Suzuki
Takeuti-Yasumoto Forcing Revisited
123(34)
Satoru Kuroda
Permission and Obligation in Ceteris Paribus
157(10)
Huimin Dong
Reverse Mathematics of Separation Theorems in Lattice Theory
167
Junren Ru
Guohua Wu
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97898112593022e.html
Märksõnad: