Results for 'LaTeX'

6 found
Order:
  1. An artist's journey on a TUGboat.Tine Wilde - 2023 - Tugboat 44:60-63.
    How does a coloured bird end up on a TUGboat? This is the story of an artist who studied philosophy and combined her skills in a PhD at the University of Amsterdam (NL). In order to write her dissertation, she had to learn the LaTeX typesetting programme. Many years later, she still makes art and still writes down her thoughts in LaTeX, with the Memoir class and XeLaTeX as first choice. Always trying to stretch the limits of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Rechnender Raum (Calculating Space).Konrad Zuse - 1969 - Schriften Zur Dataverarbeitung 1.
    Zuse proposed that the universe is being computed by some sort of cellular automaton or other discrete computing machinery, challenging the long-held view that some physical laws are continuous by nature. Calculating Space is the title of MIT's English translation of Konrad Zuse's 1969 Rechnender Raum, the first work on digital physics. This is the LaTeX edition by A. German and H. Zenil based on the MIT's English translation with permission from the MIT and Konrad Zuse's son Horst Zuse. (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  4. Is Dandelion Rubber More Natural? Naturalness, Biotechnology and the Transition Towards a Bio-Based Society.Hub Zwart, Lotte Krabbenborg & Jochem Zwier - 2015 - Journal of Agricultural and Environmental Ethics 28 (2):313-334.
    In the unfolding debate on the prospects, challenges and viability of the imminent transition towards a ‘Bio-Based Society’ or ‘Bio-based Economy’—i.e. the replacement of fossil fuels by biomass as a basic resource for the production of energy, materials and food, ‘big’ concepts tend to play an important role, such as, for instance, ‘sustainability’, ‘global justice’ and ‘naturalness’. The latter concept is, perhaps, the most challenging and intriguing one. In public debates concerning biotechnological interactions with the natural environment, the use of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Marine debris ingestion by sea turtles (Testudines) on the Brazilian coast: an underestimated threat?Robson Henrique Carvalho, Pedro Dutra Lacerda, Sarah da Silva Mendes, Bruno Corrêa Barbosa, Mariana Paschoalini, Fábio Prezoto & Bernadete Maria de Sousa - 2015 - Marine Pollution Bulletin 101 (3):746-749.
    Assessment of marine debris ingestion by sea turtles is important, especially to ensure their survival. From January to December 2011, 23 specimens of five species of sea turtleswere found dead or dying after being rehabilitated, along the coast of the municipality of Rio de Janeiro, Brazil. To detect the presence of marine debris in the digestive tract of these turtles, we conducted a postmortemexamination from the esophagus until the distal portion of the large intestine for each specimen. Of the total (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. An Introduction to Critical Thinking and Symbolic Logic Volume 1: Formal Logic.Rebeka Ferreira & Anthony Ferrucci - 2017 - Open Educational Resource: OpenStax-CNX and Canvas Commons.
    *NEWEST VERSION OF THIS RESOURCE ONLINE @ Philosop-her dotcom This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have benefited from such great students and colleagues over the years. As we have become increasingly frustrated with the costs of traditional logic textbooks (though many of them deserve high praise for their accuracy and depth), the move to open source has become more and more attractive. (...)
    Download  
     
    Export citation  
     
    Bookmark