LaTeX for CIS 160. First, you need a document outline \documentclass{article} \usepackage{amsmath} \usepackage{fullpage} \include{prooftree} \include{mathmac}

Slides:

Advertisements

Similar presentations

What a HotDocs Developer Should Know About Microsoft Word Alan Soudakoff, Bart Earle, Marc Lauritsen Capstone Practice Systems December 9, 2009.

Advertisements

DTP Design Features 1.03 Demonstrate desktop publishing.

Tutorial 3 – Creating a Multiple-Page Report

XSL XSLT and XPath 11-Apr-17.

Creating Custom Reports. 2 Design and create a custom report You can easily create custom reports based on a table or query. There are seven sections.

XP New Perspectives on Microsoft Access 2002 Tutorial 61 Microsoft Access 2002 Tutorial 6 – Creating Custom Reports.

Magnolia Templating. Header Footer Menu Collection Collection Page Template (JSP) Page Properties Page + TemplateContent.

How to Choose "Just Right" Books

Table of Contents III: Use fields to create a TOC and create multiple TOCs Create a TOC by using fields Beyond the three basic methods of building a TOC.

Introduction to MS Word 2007

1 Microsoft Office Word 2003 Tutorial 3 Creating a Multiple-Page Report.

3 November 2008CIS 340 # 1 Topics To define XML as a technology To place XML in the context of system architectures.

Menus When you begin to explore Word 2007 you will notice a new look to the menu bar. There are three features that you should remember as you work within.

Computer Science 1611 Internet & Web Creating Webpages Hypertext and the HTML Markup Language.

MICROSOFT – WORD. WORD... text entry f formatting spell check bulleting numbering t tables and much more.

Chapter 12: Network Programming Desktop Publishing Translator models Latex Documentation Preparation Postscript programming language WYSIWIG Editors.

LaTeX Tutorial. What is LaTeX? TeX is a typesetting system designed in 1978 to automate the production of high quality print using any type of computer.

Different parts of a book

Parts of a book Using “Beatrice Doesn't Want To”.

European Computer Driving Licence Module 4 – Spreadsheets Chapter 4.8 – Cell Referencing.

Eat Your Words! Creating webpage Layout. CONTENT The Layout of a Webpage HEADER FOOTER Each of these sections represents a ‘div’ (or divider). By linking.

Introduction to LaTeX Thomas Gorry. What is Latex?  A typesetting system used to produce professional looking documents.  Particularly good at handling.

Essential Tags Web Design – Sec 3-3 Part or all of this lesson was adapted from the University of Washington’s “Web Design & Development I” Course materials.

Citation in Latex with Jabref Saeid Abolfazli Faculty of Computer Science and IT, University Malaya.

Introduction to MS WORD.

Tutorial 1: XML Creating an XML Document. 2 Introducing XML XML stands for Extensible Markup Language. A markup language specifies the structure and content.

HTML INTRODUCTION. What is HTML?  HTML stands for Hypertext Markup Language  Developed in 1990  Hidden code that helps us communicate with others on.

Documentation and Comments. What’s a comment? A comment is a simple form of documentation. Documentation is text that you the programmer write to explain.

XP New Perspectives on Microsoft Word 2002 Tutorial 31 Microsoft Word 2002 Tutorial 3 – Creating a Multiple-Page Report.

Lesson 4 - Revising the Document Layout Microsoft Word 2010.

ECA 228 Internet/Intranet Design I XSLT Example. ECA 228 Internet/Intranet Design I 2 CSS Limitations cannot modify content cannot insert additional text.

Word Processing. What is a word processor? Software that allows a user to input, edit, organize and format text. Examples Include: – MS Word $ –

IC 3 BASICS, Internet and Computing Core Certification Key Applications Lesson 11 Organizing the Worksheet.

How to format a long document (e.g., thesis) using MS Word 2013 DR. ABDULLAH BAQASAH MAY 2015.

PROJECT STUDY (lecture). Chapter 1.THE PROBLEM AND ITS SETTING 1.1 RATIONALE 1.2 STATEMENT OF THE PROBLEM Project Questions Goals and Objectives.

 Unit 4 ~ Composition.  Time! Time to complete the lessons on the OLS Writing in action Level C book Pencil paper A book to review.

 Each tab is geared towards a certain activity area.

Text, not Word Processing Gordon J. Pace March 2006 Logical Organisation.

Seminar Sam Panzer. Good Evening, and Welcome First, an overview of what these seminars will cover Topics: – What you need to get started – What LaTeX.

HTML Basics Computers. What is an HTML file? *HTML is a format that tells a computer how to display a web page. The documents themselves are plain text.

CROSSING THE THRESHOLD PROF. BARBARA C.G. GREEN, MA CM107 UNIT 3.

The References Tab contains tools that help users to easily create references, table of contents, indexes, captions, citations, footnotes, endnotes and.

What is Microsoft word?.

CO1552 – Web Application Development Further JavaScript: Part 1: The Document Object Model Part 2: Functions and Events.

Lecture 3- Microsoft Word COE 201- Computer Proficiency.

Tutorial 3 Creating a Multiple-page report. Formatting Headings with Quick Styles Quick Styles: gives the document a polished look and allows you to apply.

Elements and Attributes. XHTML Elements The element contains special information that does not necessarily show up on the web page. The element determines.

DO NOT PLACE ANY TEXT OR GRAPHICS ABOVE THE GUIDELINE SHOWN DO NOT PLACE ANY TEXT OR GRAPHICS BELOW THE GUIDELINE SHOWN TO EDIT GRAPHICS IN THE MASTER.

Nesting and Floating. Nesting and Floating Elements To make our page content appear the way we want, and to make the best use of screen space, we can.

XHTML1 Building Document Structure N100 Building a Simple Web Page.

IN THIS LESSON, WE WILL BECOME FAMILIAR WITH HTML AND BEGIN CREATING A WEB PAGE IN YOUR COMPUTER HTML – the foundation.

Microsoft Excel 2007 Noris Bt. Ismail Faculty of Information and Communication Technology Tel : (Ext 8408) BCOMP0101.

LaTex -Computer scientist named Donald Knuth developed the program called Tex, in 1978.(mainly focused on formulae) -Later a mathematician and computer.

Test Title Test Content.

Pagination Using MS Word for Windows to Insert Page Numbers.

Wendy Balmer Indiana Uni Template 1.

Indiana U Wendy Lynn Balmer Ex 1.

LATEX By GerardoVela 3/27/2015.

Ma Communicating Mathematics

By Rajyalakshmi Divi IIT Bombay

Microsoft Word 2010: Basics

Nathaniel MacHardy Fall 2014

ELAR SPIRAL SET UP INSTRUCTIONS

HTML Structure.

Mobile Book Report Show your understanding of important people, events, and objects in your book by making a mobile. You will demonstrate your knowledge.

Latex Yaser Khamayseh.

Presentation transcript:

LaTeX for CIS 160

First, you need a document outline \documentclass{article} \usepackage{amsmath} \usepackage{fullpage} \include{prooftree} \include{mathmac} \include{mac} \pagestyle{plain} \title{Homework 1} \author{Sam Panzer} \begin{document} \maketitle \end{document}

What was all that? The first line tells LaTeX what kind of document it is handling \documentclass{article}

What was all that? The next five lines instruct LaTeX to use a few libraries: two standard ones, and three that Prof. Gallier provides \usepackage{amsmath} \usepackage{fullpage} \include{prooftree} \include{mathmac} \include{mac}

What was all that? The next line tells LaTeX to use no header or footer aside from page numbers \pagestyle{plain}

What was all that? We then tell LaTeX what the document title and author are. \title{Homework 1} \author{Sam Panzer} This does not actually generate any text! – The \maketitle command does that.

Using the proof tree macros \settree {contents} sets the tree labeled n to the contents inside. – Contents needs to be a tree itself \starttree{contents} starts a tree \njointrees{tree1ID}{tree2ID} places two trees as parents of the current level \step{result} creates a horizontal line above the result \ligne{\hfill\box \hfill} actually displays tree n

In use \settree1{ \starttree{$P^x$} } \settree2{ \starttree{$\Gamma$} \step{$P\impl Q$} } \settree1{ \njointrees{1}{2} \step{$Q$} } \settree2{ \starttree{$\Gamma$} \step{$Q\impl R$} } \settree1{ \njointrees{1}{2} \step{$R$} \jstep{$P\impl R$}{$x$} }

How does this work? \settree1{ \starttree{$P^x$} } \settree2{ \starttree{$\Gamma$} \step{$P\impl Q$} } Sets tree 1 to Sets tree 2 to These are set up to remember what tree 1 and tree 2 were Kind of like variables when programming

How does this work? (Part II) \settree1{ \njointrees{1}{2} \step{$Q$} } \settree2{ \starttree{$\Gamma$} \step{$Q\impl R$} } Sets tree 1 to Sets tree 2 to \njointrees places two trees as descendants of another. That’s how I got the next to the \step draws the horizontal line

How does this work? (Part III) \settree1{ \njointrees{1}{2} \step{$R$} \jstep{$P\impl R$} {$x$} } Sets tree 1 to \jstep is a justified step. It draws a line below the current tree It also includes the discharge of \step only shows a logical deduction

Comments It is also possible to display two proof trees next to each other – It requires a (more) complicated invocation of \ligne – LaTeX complains if the proof trees get too wide Don’t feel confined to just two trees!