About site: Math/Logic and Foundations - Introduction to Mathematical Logic
Return to Science also Science
  About site: http://www.ltn.lv/~podnieks/mlog/ml.htm

Title: Math/Logic and Foundations - Introduction to Mathematical Logic Hyper-textbook for students by V. Detlovs and K. Podnieks.
Logic Open Encyclopedia entry. Hierarchically organized by subareas.

Logic Wikipedia article.

Math_Front__LO_Logic Front end for the logic section of the mathematics e-print arXiv.

Mathematical_Logic_and_Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

Mathematical_Logic_around_the_World A rich collection of links to logic-related websites.

Mind_Versus_Goedel_by_Damjan_Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.


  Alexa statistic for http://www.ltn.lv/~podnieks/mlog/ml.htm





Get your Google PageRank






Please visit: http://www.ltn.lv/~podnieks/mlog/ml.htm


  Related sites for http://www.ltn.lv/~podnieks/mlog/ml.htm
    Aquifer_Test_Forum Information relating to the design, performance and evaluation of aquifer tests, including pumping tests, slug tests and single-well tests
    CMI_Aquifers_Group Describes research on the behavior of carbon dioxide in hydrogeologic systems, aimed at developing systems for storing carbon in saline aquifers.
    Distributed_Aquifer_Recharge_Enhancements_in_Arid_Zones Paper describes a modeling study to explore possible options for enhancing natural recharge.
    Elango\'s_Home_Page Faculty member of Anna University, Chennai, India describes research and teaching in hydrogeology, groundwater modeling and hydrogeochemistry.
    Environment_Canada__Groundwater A thorough introduction to the topic of ground water and its management. Part of Environment Canada's "Fresh Water" web site.
    Fayette_County_Groundwater_Conservation_District Mission is to protect and conserve the underground water resources for the current and future residents of Fayette County, Texas. Offers publications, information on projects and services as well as g
    George_F__Pinder Professor of Civil and Environmental Engineering, University of Vermont. Information about past and present research in groundwater modeling, including mathematical evaluation of contamination problem
    Ground_Water_Modelling_Discussion_Group A forum for technical discussions; announcement of new software; calls for abstracts and papers; conference and workshop announcements; and summaries of research results, recent publications, and cas
    The_Groundwater_Foundation Dedicated to the education about and preservation of our most important natural resource.
    Groundwater_Geochemistry_and_Remediation,_University_of_Waterloo Summaries of research activities on the fate, transport and remediation of dissolved metals, metalloids and nutrients in groundwater, as well as development and application of in situ permeable reacti
    Groundwater_in_British_Columbia B.C. ministry site, with general ground water information, water well data, information on groundwater consultants, and links.
    Groundwater_Tracing_Unit,_University_College_London British research group. Describes current activities and capabilities in the use of tracers in hydrogeology, provides background on this technology and it history, lists consultancy capabilities, and
    Henry_Darcy_and_His_Law About Henri Darcy and his contributions to understanding flow in porous media. Includes biography, discussions of basic concepts and the Darcy-Weisbach equation, and a lab procedure for falling-head p
    The_Hydrogeologist\'s_Home_Page Collection of hundreds of links to hydrogeological organizations, software and data repositories, publications, and other resources.
    Hydrogeology_Research_Group,_University_of_Tennessee,_Knoxville Conducts research on contaminant transport in groundwater and age-dating of groundwater.
    King_County_(Washington)_Groundwater_Management Generic and local information on the occurrence, movement, and management of ground water.
    National_Centre_for_Groundwater_Management,_UTS_(Sydney,_Australia) Consultancy and training in groundwater and environmental applications. Information about courses, distance learning (including online), research and consultancy interests, and links.
    Organic_Compounds_in_Near_Surface_Environments Describes USGS studies of organic contaminants in groundwater, including landfill leachate and petroleum spills. Focus is on biological and chemical processes that control contaminant fate.
    PEST_Parameter_Estimation_Groundwater_Modeling_Workshop The Groundwater Resources Association is conducting a workshop "Model Calibration and Predictive Uncertainty Analysis Using PEST" April 19-21, 2004, Santa Ana, CA
    Publications_of_C__P__Kumar Technical papers of Mr. C. P. Kumar, Scientist, National Institute of Hydrology, Roorkee - 247667 (Uttaranchal), India.
    SaltNet__Saltwater_Intrusion_Resources_Network Bibliography, computer codes, directory of researchers, and other information resources related to salt water intrusion into coastal groundwater aquifers.
    UK_Groundwater_Forum Source of information and a platform for information exchange on groundwater topics in and for the UK.
    The_University_of_Arizona_Contaminant_Transport_Group Publications lists and other information from the Brusseau research group, which investigates the fate and transport of contaminants in the subsurface.
    University_of_Birmingham_School_of_Geography,_Earth_&_Environmental_Sciences Hydrogeology research including groundwater resources, numerical modelling, geochemistry, g/w contamination and remediation. Taught programmes include hydrogeology and hydroinformatics MSc courses, CP
    Water_Framework_Directive_-_Groundwater_Statistics Report from a European Union project to develop statistical methods for data aggregation for assessment of groundwater quality status, including trend assessment.
    Young-Jin_Kim Describes his research, particularly on preferential flow and its influence to contaminant transport in the vadose zone.
    African_Writing_Systems An examination of the writing systems of Africa, including Amharic (Ethiopian).
    Amanye_Tenceli_The_Writing_Systems_of_Aman Complete descriptions of the Sarati and Tengwar scripts created by J.R.R. Tolkien for his celebrated artificial languages. Also includes fonts and specialized writing programs.
    Ancient_Mesoamerican_Writing Mesoamerican culture as expressed in Precolumbian writing systems, inscriptions and codices, with links to related sites.
    Ancient_Scripts_of_the_World Lawrence Lo describes the origins, types and families of writing systems. Sections on phonetics, historical linguistics. Bibliography and links.
    Blissymbolics_Resources Integrated Pictographic Language System for international communication, currently used by people with language-related disabilities.
    C__C__Elian An alternative writing system examplified through art works that are visually similar to Asian and Middle Eastern systems, but based on Western concepts of language as it relates to perception and the
    Creative_Ideas___Evolutions_in_the_English_Lexicon The combination of the symbology of the English language with that of mathematics to create new meanings.
    Eskaya_Script Describes the Eskaya people of Bohol, and their writing, numerical, and calendar system, as well as links to information about other Philippine scripts.
    Evolution_of_Alphabets Site details the evolution of many of the world's major alphabets.
    Impact_of_the_Dravidian_Culture_on_the_Writing_Systems_in_India_ A paper which examines the development of scripts in India.
    Indian_Alphabet_Comparison A comparison of written Hindi, Punjabi, Bengali and Gujarati by Eden Golshani.
    Multilingual_Computing Links to sites of interest in multilingual computing and other closely related areas of scripts and languages as well as a guide for finding language fonts on the Internet.
    Naxi_Dongba_Pictographs_Software Commercial software for writing in Dongba, a pictographic writing system. Also includes some background information on Dongba.
    The_Numbers_in_Various_Writing_Systems Numbers 1-10, in syllabaries, consonantal scripts, and sign.
This is sites2007.com cache of m/ as retrieved on 2008.11.23 sites2007.com's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
Mathematical Logic. Introduction. By V.Detlovs and K.Podnieks mathematical logic, tutorial, what is logic, logic, mathematical, online, hyper-text, web, book, textbook, teaching, learning, study, student, Podnieks, Karlis, Detlovs, Vilnis, introduction, students, hypertext, text, hyper, free, download Personal page - click here What is mathematics? - What is science? Science is modeling! Any comments are welcome - e-mail to Karlis.Podnieks@mii.lu.lv My favorite (printed) textbook on mathematical logic, since many years: "Introduction to Mathematical Logic", by Elliott Mendelson

Vilnis Detlovs. Memorial Page (in Latvian)

Introduction to Mathematical Logic

Hyper-textbook for students by Vilnis Detlovs, Dr. math., and Karlis Podnieks, Dr. math. University of Latvia Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V.Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. ( in Latvian). With kind permission of Dr. Detlovs. In preparation - forever (however, already for 8 years, used successfully in a real logic course for computer science students). Creative Commons License This work is licensed under a Creative Commons License and is copyrighted © 2000-2008 by  us, Vilnis Detlovs and Karlis Podnieks. Latvian glossary Left Adjust your browser window Right Table of Contents 1. Introduction. What is logic, really? 1.1. Total formalization is possible! 1.2. Predicate languages 1.3. Axioms of logic: minimal system, constructive system and classical system 1.4. The flavour of proving directly 1.5. Deduction theorems 2. Propositional logic 2.1. Proving formulas containing implication only 2.2. Proving formulas containing conjunction 2.3. Proving formulas containing disjunction 2.4. Formulas containing negation - minimal logic 2.5. Formulas containing negation - constructive logic 2.6. Formulas containing negation - classical logic 2.7. Constructive embedding. Glivenko's theorem 2.8. Axiom independence. Using computers in mathematical proofs 3. Predicate logic 3.1. Proving formulas containing quantifiers and implication only 3.2. Formulas containing negations and a single quantifier 3.3. Proving formulas containing conjunction and disjunction 3.4. Replacement theorems 3.5. Constructive embedding 4. Completeness theorems (model theory) 4.1. Interpretations 4.2. Classical propositional logic - truth tables 4.3. Classical predicate logic - Goedel's completeness theorem 4.4. Constructive propositional logic - Kripke semantics 4.5. Constructive predicate logic - Kripke semantics 5. Normal forms. Resolution method 5.1. Prenex normal form 5.2. Conjunctive and disjunctive normal forms 5.3. Skolem normal form 5.4. Clause form 5.5. Resolution method for propositional formulas 5.6. Herbrand's theorem 5.7. Resolution method for predicate formulas 6. Complexity and unsolvability 6.1. Classical propositional logic - complexity 6.2. Classical predicate logic - unsolvability 6.3. Constructive propositional logic - complexity 6.2. Constructive predicate logic - unsolvability ... 7. Miscellaneous 7.1. Negation as contradiction or absurdity 7.2. Finite interpretations - Trakhtenbrot's theorem 7.3. Principle of duality 7.4. Set algebra 7.5. Switching circuits 7.6. Kolmogorov interpretation 7.7. Markov' s principle   8. References Hilbert D., Bernays P. [1934] Grundlagen der Mathematik. Vol. I, Berlin, 1934, 471 pp. (Russian translation available) Kleene S.C. [1952] Introduction to Metamathematics. Van Nostrand, 1952 (Russian translation available)
 

Hyper-textbook

for

students

by

V.

Detlovs

and

K.

Podnieks.

http://www.ltn.lv/~podnieks/mlog/ml.htm

Introduction to Mathematical Logic 2008 November

dvd rental

dvd


Hyper-textbook for students by V. Detlovs and K. Podnieks.

Rules




© 2005 Internet Explorer 5+ or Netscape 6+

Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Mobile Phone - Advertising - Auto Loans - Michael Jordans - Jobs for programmers
2008-11-23 01:29:59

Copyright 2005, 2006 by Webmaster
Websites is cool :)