OPEN EDUCATIONAL RESOURCES

UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

  • Home
  • Admin
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 66 from your keywords: subject="Foundations"
First Page Previous 1 2 3 4 5 Next Last Page
cover
Recent Trends in Algebraic Development Techniques: 22nd International Worksho…
Comment Share
CODESCU, MihaiDIACONESCU, RazvanTUTU, Lonut

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal …

Edition
-
ISBN/ISSN
978-3-319-28114-8
Collation
-
Series Title
-
Call Number
005.131
Availability0
Add to basket
MARC DownloadCite
cover
The Invisible Universe
Comment Share
Gerrit Verschuur

This is the story of radio astronomy, of how radio waves are generated by stars, supernova, quasars, colliding galaxies and by the very beginnings of the universe itself. The author discusses what radio astronomers are doing in the New Mexico desert, in a remote valley in Puerto Rico, and in the green Pocahontas Valley in West Virginia, as well as dozens of other remote sites around the world. …

Edition
-
ISBN/ISSN
978-3-319-13422-2
Collation
XII, 259
Series Title
Astronomers' Universe
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Introduction to Mathematical Analysis I
Comment Share
LAFFERRIERE, BeatrizLafferriere, GerardoNguyen, Mau Nam

The lecture notes contain topics of real analysis usually covered in a 10-week course: the completeness axiom, sequences and convergence, continuity, and differentiation. The lecture notes also contain many well-selected exercises of various levels. Although these topics are written in a more abstract way compared with those available in some textbooks, teachers can choose to simplify them depe…

Edition
-
ISBN/ISSN
9781365605529
Collation
-
Series Title
-
Call Number
515 LAF i
Availability0
Add to basket
MARC DownloadCite
cover
Universe Unveiled The Cosmos in My Bubble Bath
Comment Share
VISHVESHWARA, C. V.

The bubbles were swirling all around me, massaging my body. As I luxuriated in this fantastic bath, I gasped realizing that those bubbles carried with them miniature galaxies bringing the entire Cosmos into my bathtub... Alfie is back. And so are George and other characters from the author’s previous book Einstein’s Enigma or Black Holes in My Bubble Bath. While the present book, Univers…

Edition
-
ISBN/ISSN
978-3-319-08213-4
Collation
34 b/w illustrations
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
The Formalisms of Quantum Mechanics
Comment Share
Francois David

Quantum mechanics is probably the most successful physical theory ever proposed and despite huge experimental and technical progresses in over almost a century, it has never been seriously challenged by experiments. In addition, quantum information science ha s become an important and very active field in recent decades, further enriching the many facets of quantum physics. Yet, there is a s…

Edition
-
ISBN/ISSN
978-3-319-10539-0
Collation
VII, 157
Series Title
Lecture Notes in Physics
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Advances in Proof Theory
Comment Share
KAHLE, ReinhardSTRAHM, ThomasSTUDER, Thomas

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday o…

Edition
Ed. 1
ISBN/ISSN
978-3-319-29198-7
Collation
XII, 425
Series Title
Progress in Computer Science and Applied Logic
Call Number
511.3 ADV a
Availability0
Add to basket
MARC DownloadCite
cover
Turing’s Revolution The Impact of His Ideas about Computability
Comment Share
SOMMARUGA, GiovanniSTRAHM, Thomas

This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…

Edition
-
ISBN/ISSN
978-3-319-22156-4
Collation
17 b/w illustrations, 1 illustrations in colour
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, T…
Comment Share
Wiebe van der HoekWesley H. HollidayWen-fang Wang

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial …

Edition
-
ISBN/ISSN
978-3-662-48561-3
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Comment Share
SKOWRON, AndrzejKar, SamarjitCHAKRABORTY, Mihir K.MAITI, Manoranjan

Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…

Edition
-
ISBN/ISSN
978-81-322-2301-6
Collation
61 b/w illustrations
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Comment Share
Holger AndreasPeter Verdée

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the u…

Edition
-
ISBN/ISSN
978-3-319-40220-8
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
First Page Previous 1 2 3 4 5 Next Last Page
OPEN EDUCATIONAL RESOURCES

Search

start it by typing one or more keywords for title, author or subject


Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?