CSE 459/598: Logic for Computer Scientists (Spring 2012)
|
|
- Dylan Robertson
- 8 years ago
- Views:
Transcription
1 CSE 459/598: Logic for Computer Scientists (Spring 2012) Time and Place: T Th 10:30-11:45 a.m., M1-09 Instructor: Joohyung Lee (joolee@asu.edu) Instructor s Office Hours: T Th 4:30-5:30 p.m. and by appointment (arrange at least a day ahead), BYENG 472 Description: Mathematical logic plays a fundamental role in various areas of computer science : computer architecture (Boolean logic, digital gates, hardware verification), software engineering (specification, verification), programming languages (semantics, type theory, logic programming), databases (relational algebra, database query language), artificial intelligence (automated theorem proving, knowledge representation), algorithms and theory of computation (complexity, computability, expressiveness), etc. This course is an elementary but mathematically solid introduction to propositional logic, first order logic, logic programming, and their applications in computer science. You will learn the subjects mainly by doing homework problems, by presenting your solutions to the class, and by studying and discussing the solutions presented by others. There is no required textbook; the necessary theory and the statements of problems to discuss will be provided in a series of handouts. You should make a serious effort to solve each of them. Try to figure out solutions by yourself or in collaboration with other students, but not by asking someone who already knows the answers, and not by reading books. Outcomes Students who complete this course will 1. understand the syntax and semantics of propositional logic; 2. understand the syntax and semantics of first-order logic; 3. understand the difference between object level and meta level proofs, and be able to write object level proofs in deductive system; 4. be able to use logic programming languages and implementations. Schedule 1. Propositional logic: syntax and semantics, proof methods : strong induction, structural induction, natural deduction, proof theory vs. model theory, soundness and completeness theorem 2. Logic programming: answer set programming, declarative problem solving 3. First-order logic: syntax and semantics, proof methods. 1
2 Reference: Recommended but not required. Logic in Computer Science : modelling and reasoning about systems (2nd ed), Huth and Ryan, Cambridge. Class Homepage Important announcements and handouts will be listed in the homepage. The grades will be posted on the blackboard. Class Participation. We will discuss problems in each handout except for the ones marked with the superscript e (exercise problems for your own). These should be solutions that you found by yourself, without much help from others. Electronic Homework. Several times during the semester you will receive messages with additional homework problems. When you work on these additional problems, you may consult the materials handed out in class and your notes, but not any books and any written solutions. You may discuss with your peers the class materials related to the homework problems, but should not discuss the solution to the problem itself. If you find a solution, it to the instructor (joolee@asu.edu) as plain ASCII text (not in LaTeX or PostScript) in the body of the message (not as an attachment). Late homework will not be accepted. When you reply, append your name to the title of the message, but otherwise do not change the title. This will help the instructor deal with a large volume of s. There will be penalty for the submissions that do not follow this instruction. If you cannot come up with a satisfactory solution, it s okay to send the instructor a brief note saying that you tried and failed. Or you can describe your attempted solution and explain why you think it is not completely satisfactory. In some cases, the instructor may send you additional questions or ask you to clarify your answer. If you get such a message, please send him a prompt reply. You re responsible for timely response. Since the standard keyboard does not have characters for many special symbols that we are going to need, those symbols will be represented in our correspondence as shown in the following charts. In handouts: In & -> <-> - bot top sun 2
3 In handouts: σ Γ In sigma Gamma => forall exists Use _ and ^ to show subscripts and superscripts. For instance, you can write a 1 as a_1 and F I as F^I. Tests. There will be two midterms. There will be no make-up tests. Project You may choose your own topic, or the instructor may assist you in selecting one, but don t wait too late. Graduate students in 598 section are expected to carry out projects that are more challenging and has higher risk. The succssful project can be part of a MCS portfolio. Grading Your grade will be determined by class participation and attendance (10%), the homework submitted electronically (25%), two tests (20% + 20%) and the project (25%). If you believe that there is a mistake in the grading, you must report to the instructor within one week of the date when you received the grading. 459 and 598 sections are evaluated separately. The policies are subject to change, if necessary. Information on the classes taught by Joohyung Lee can be found at Academic Dishonesty Cheating will result in failure in the course (getting the permanent grade XE). Read the following quote from STUDENT OBLIGATIONS Each student must act with honesty and integrity, and must respect the rights of others in carrying out all academic assignments. A student may be found to have engaged in academic dishonesty if, in connection with any Academic Evaluation or academic or research assignment (including a paid research position), he or she: Engages in any form of academic deceit; Refers to materials or sources or uses devices (e.g., computer disks, audio recorders, camera phones, text messages, crib sheets, calculators, solution manuals, materials from previous classes, or commercial research services) not authorized by the instructor for use during the Academic Evaluation or assignment; Possesses, reviews, buys, sells, obtains, or uses, without appropriate authorization, any materials intended to be used for an Academic Evaluation or assignment in advance of its administration; 3
4 Acts as a substitute for another person in any Academic Evaluation or assignment; Uses a substitute in any Academic Evaluation or assignment; Depends on the aid of others, including other students or tutors, in connection with any Academic Evaluation or assignment to the extent that the work is not representative of the student s abilities; Provides inappropriate aid to another person in connection with any Academic Evaluation or assignment, including the unauthorized use of camera phones, text messages, photocopies, notes or other means to copy or photograph materials used or intended for Academic Evaluation; Engages in Plagiarism; Uses materials from the Internet or any other source without full and appropriate attribution; Permits his or her work to be submitted by another person in connection with any Academic Evaluation or assignment, without authorization; Claims credit for or submits work done by another; Signs an attendance sheet for another student, allows another student to sign on the student s behalf, or otherwise participates in gaining credit for attendance for oneself or another without actually attending; Falsifying or misrepresenting hours or activities in relationship to an internship, externship, field experience, clinical activity or similar activity; or Attempts to influence or change any Academic Evaluation, assignment or academic record for reasons having no relevance to academic achievement. The Grade of XE The XE grade denotes failure through academic dishonesty. The XE grade will be recorded on the student s official and unofficial transcript with the notation failure due to academic dishonesty. The XE grade shall be treated in the same way as an E for the purposes of grade point average and determination of academic standing. No student with an XE grade on his or her transcript shall be permitted to represent that University in any extracurricular activity or to run for or hold office in any recognized student organization. 4
5 8/10/12 CSE 459/598 Logic for Computer Scientists (Spring 2012) Class Logs 0 jlee89 My Wikis Help Sign Out CSE 459/598 Logic for Computer Scientists (Spring 2012) Wiki Home Projects Recent Changes Pages and Files Members Manage Wiki Search Wiki Home Course Materials Class Log Discussion Board edit navigation Class Logs Edit Session Date Topic Course introduction. Weak/strong induction Readings Note Syntax of propositional formulas. Structural induction Handout 1 Next Problems: Structural induction Intro to natural deduction: axioms and inference rules Handout 2 Next Problems:1.3, Strategies for natural deduction Interpretation. Evaluation of a formula. Handout Exercise on natural deduction. Next Problems: , 3.3, 3.4, 3.6, Exercise on natural deduction. NP: 3.3, 3.4, 3.6, 3.7, 3.8, 3.9, Semantics of propositional formulas. Tautologies. Equivalence Equivalent formulas. Adequate set of connectives. NP: 3.9, 3.11, 3.12, 3.13, DNF/CNF. Satisfiability and entailment. Soundness and Completeness Theorem NP: 3.9, 3.14, 3.15, Problem solving. Answer sets of Horn programs. Handout 4 NP: Answer sets of programs with negations NP: Theorem on head atoms. Exercises with answer sets NP: 4.4, st Test Answer sets of propositional formulas Handout Answer sets of propositional formulas continued NP: 5.3, 5.4, 5.6, Nonmonotonicity of answer set semantics NP: 6.3, 6.4, Theorems on head atoms, on choice rules, on constraints. Cardinality expressions. Handout Methodology of answer set programming (I) Handout Methodology of answer set programming (II) 3.20 Spring break 3.22 Spring break Handout Syntax of predicate logic Handout 9 NP: 9.1, Semantics of predicate logic NP: Satisfiability. Entailment. Equivalence Project proposal/progress presentation NP 9.4, Prenex normal form conversion Function symbols and equality Project Presentation Project Presentation Contributions to s12.wikispaces.asu.edu/ are licensed under a Custom License. cse s12.wikispaces.asu.edu/class+logs 1/1
Introduction to Symbolic Logic Vaishali Khandekar, PhD Course Description: PREREQUISITE(S): CO-REQUISITE(S): FREQUENT REQUISITES
Introduction to Symbolic Logic PHIL 2303-77400 Fall 2013 (3 Credit Hours) HCC Northwest College Tuesday, Thursday 11:00 AM 12:30 PM Instructor: Vaishali Khandekar, PhD Katy Campus, Room 347 Vaishali.khandekar@hccs.edu
More informationRigorous Software Development CSCI-GA 3033-009
Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 11 Semantics of Programming Languages Denotational Semantics Meaning of a program is defined as the mathematical
More informationCS 425 Software Engineering. Course Syllabus
Department of Computer Science and Engineering College of Engineering, University of Nevada, Reno Fall 2013 CS 425 Software Engineering Course Syllabus Lectures: Instructor: Office hours: Catalog description:
More informationMAT 183 - Elements of Modern Mathematics Syllabus for Spring 2011 Section 100, TTh 9:30-10:50 AM; Section 200, TTh 8:00-9:20 AM
MAT 183 - Elements of Modern Mathematics Syllabus for Spring 2011 Section 100, TTh 9:30-10:50 AM; Section 200, TTh 8:00-9:20 AM Course Instructor email office ext. Thomas John, Ph.D. thjohn@syr.edu 224
More informationMath 35 Section 43376 Spring 2014. Class meetings: 6 Saturdays 9:00AM-11:30AM (on the following dates: 2/22, 3/8, 3/29, 5/3, 5/24, 6/7)
Math 35 Section 43376 Spring 2014 Class meetings: 6 Saturdays 9:00AM-11:30AM (on the following dates: 2/22, 3/8, 3/29, 5/3, 5/24, 6/7) Instructor: Kathy Nabours Office: MTSC 133 Email: kathy.nabours@rcc.edu
More informationCS 1340 Sec. A Time: TR @ 8:00AM, Location: Nevins 2115. Instructor: Dr. R. Paul Mihail, 2119 Nevins Hall, Email: rpmihail@valdosta.
CS 1340 Sec. A Time: TR @ 8:00AM, Location: Nevins 2115 Course title: Computing for Scientists, Spring 2015 Instructor: Dr. R. Paul Mihail, 2119 Nevins Hall, Email: rpmihail@valdosta.edu Class meeting
More informationBrazosport College Syllabus for Criminology (CJSA 1325) Spring 2014 (Online)
Brazosport College Syllabus for Criminology (CJSA 1325) Spring 2014 (Online) Instructor: Chris Mezzino Office Phone: 979.230-3180 Office: B-227-A email: chris.mezzino@brazosport.edu COURSE DESCRIPTION
More informationHong Kong University of Science and Technology School of Business and Management Spring 2015
Hong Kong University of Science and Technology School of Business and Management Spring 2015 ISOM 2010 INTRODUCTION TO INFORMATION SYSTEMS Instructor: Professor Tat Koon KOH Email: koh@ust.hk Office: LSK
More informationFinance 471: DERIVATIVE SECURITIES Fall 2015 Prof. Liang Ma University of South Carolina, Moore School of Business
Finance 471: DERIVATIVE SECURITIES Fall 2015 Prof. Liang Ma University of South Carolina, Moore School of Business General information Class meetings Lecture 1: TR 8:30-9:45 pm, DMSB 120 Lecture 2: TR
More informationML for the Working Programmer
ML for the Working Programmer 2nd edition Lawrence C. Paulson University of Cambridge CAMBRIDGE UNIVERSITY PRESS CONTENTS Preface to the Second Edition Preface xiii xv 1 Standard ML 1 Functional Programming
More informationISQS 3358 BUSINESS INTELLIGENCE FALL 2014
ISQS 3358 BUSINESS INTELLIGENCE FALL 2014 Instructor: Dr. Miguel. I. Aguirre-Urreta, Ph.D. Office: BA E322 Phone: 806.834.0765 Email: miguel.aguirre-urreta@ttu.edu Office Hours Tuesdays and Thursdays from
More informationLackawanna College MAT 120 OA: College Algebra Spring I: January 26 March 20, 2015 Online Course 3 Credits
Instructor Vincent E. Pricci Lackawanna College MAT 10 OA: College Algebra Spring I: January 6 March 0, 015 Online Course 3 Credits E-mail vince.pricci@falcons.lackawanna.edu Office Hours Online through
More informationCourse Syllabus Introduction to Logic PHILOSOPHY 2303-304 (M 7:05-9:45 p.m.) G-241 (Revised Spring 2012)
Blinn College Bryan Campus Course Syllabus Introduction to Logic PHILOSOPHY 2303-304 (M 7:05-9:45 p.m.) G-241 (Revised Spring 2012) Ms. Ann Voelkel Office: A246 (Bryan Campus) Office Phone #: 979-209-7357
More informationCS 425 Software Engineering. Course Syllabus
Department of Computer Science and Engineering College of Engineering, University of Nevada, Reno Fall 2015 CS 425 Software Engineering Course Syllabus Lectures: TR, 9:30 10:45 am, LEG-212 Instructor:
More informationBUAD 310 Applied Business Statistics. Syllabus Fall 2013
! BUAD 310 Applied Business Statistics Syllabus Fall 2013 Instructor: Gourab Mukherjee TA: Pallavi Basu Office: HOH 14 Office Hours: Tuesday and Wednesday 10AM-12 PM (location TBA) Office Hours: Tuesday
More informationOPERATIONS, BUSINESS ANALYTICS & INFORMATION SYSTEMS
IT Architecture and Networking IS-3040-001 Spring 2015 Office : 523 Lindner Hall Telephone : 513-556-7058 E-mail : Robert.Rokey@uc.edu Office Hours: by appointment. TEXT: Englander, Irv. The Architecture
More informationVideo Game Programming ITP 380 (4 Units)
Video Game Programming ITP 380 (4 Units) Objective This course provides students with an in-depth introduction to technologies and techniques used in the game industry today. At semester s end, students
More informationBRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS ITSE 1432 INTRODUCTION TO VISUAL BASIC.NET PROGRAMMING
BRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS ITSE 1432: INTRODUCTION TO VISUAL BASIC.NET PROGRAMMING COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT CATALOG DESCRIPTION ITSE 1432 INTRODUCTION
More informationUNIVERSITY OF MASSACHUSETTS BOSTON COLLEGE OF MANAGEMENT AF 325 - Theory of Finance SYLLABUS Spring 2013
UNIVERSITY OF MASSACHUSETTS BOSTON COLLEGE OF MANAGEMENT AF 325 - Theory of Finance SYLLABUS Spring 2013 Meeting time: Section 01 (1380) Mondays and Wednesdays, 4.00pm 5.15pm Room: McCormack 02-0404 Instructor:
More informationIntroduction to Computer Forensics Course Syllabus Spring 2012
Course Information Course Syllabus Spring 2012 Instructor: Dr. Mike Jochen Phone: 570.422.3036 Email: mjochen@esu.edu Office: 337 SCITECH Building Office Hours: Tues/Thurs 11 a.m. noon Weds 9 a.m. noon
More informationLecture 1: Course Introduction"
Lecture 1: Course Introduction" CSE 123: Computer Networks Alex C. Snoeren First Discussion Friday 10/4! Lecture 1 Overview" Class overview Expected outcomes Structure of the course Policies and procedures
More informationMATH 241: DISCRETE MATHEMATICS FOR COMPUTER SCIENCE, Winter 2010-2011. CLASSROOM: Alumni Hall 112 Tuesdays and Thursdays, 6:00-8:15 pm
MATH 241: DISCRETE MATHEMATICS FOR COMPUTER SCIENCE, Winter 2010-2011 PROFESSOR: Melody Rashidian CLASSROOM: Alumni Hall 112 TIME: Tuesdays and Thursdays, 6:00-8:15 pm CONTACT INFORMATION: WEB PAGE: mrashidi@clunet.edu
More informationCENTRAL TEXAS COLLEGE SYLLABUS FOR POFT 2386 INTERNSHIP ADMINISTRATIVE ASSISTANT AND SECRETARIAL SCIENCE, GENERAL. Semester Hours Credit: 3
I. INTRODUCTION CENTRAL TEXAS COLLEGE SYLLABUS FOR POFT 2386 INTERNSHIP ADMINISTRATIVE ASSISTANT AND SECRETARIAL SCIENCE, GENERAL Semester Hours Credit: 3 INSTRUCTOR: OFFICE HOURS: A. A work-based learning
More informationISM 4403 Section 001 Advanced Business Intelligence 3 credit hours. Term: Spring 2012 Class Location: FL 411 Time: Monday 4:00 6:50
COURSE TITLE/NUMBER, NUMBER OF CREDIT HOURS: COURSE LOGISTICS: ISM 4403 Section 001 Advanced Business Intelligence 3 credit hours Term: Spring 2012 Class Location: FL 411 Time: Monday 4:00 6:50 INSTRUCTOR
More informationThe course assumes successful completion of CSCI E-50a and CSCI E-50b, i.e. at least two semesters of programming, with a grade of C- or better.
Syllabus Artificial Intelligence CSCI E-220 Fall 2012 Time Thursdays, 5:30-7:30pm Location Maxwell-Dworkin G135 Instructor Eric Breck (http://www-personal.umich.edu/~ebreck) Email ebreck@fas.harvard.edu
More informationMA150/WR150 Investigations in Geometry Spring 2014 Lectures: Tuesday, Thursday 2-3:30 in COM 213 Discussion section: Tuesday 3:30-4:30 in PSY B36
MA150/WR150 Investigations in Geometry Spring 2014 Lectures: Tuesday, Thursday 2-3:30 in COM 213 Discussion section: Tuesday 3:30-4:30 in PSY B36 Professor: Steve Rosenberg Office: MCS 248 Contact: sr@math.bu.edu;
More informationMathematics 301: Elementary Geometry COURSE SYLLABUS: Fall 2013
Mathematics 301: Elementary Geometry COURSE SYLLABUS: Fall 2013 Instructor: Vanessa Huse, Ed.D. Office Location: Bain Center, 228 Navarro College Center-Corsicana Office Hours: Wednesday 2:00-5:00, Online
More informationMATH 2 Course Syllabus Spring Semester 2007 Instructor: Brian Rodas
MATH 2 Course Syllabus Spring Semester 2007 Instructor: Brian Rodas Class Room and Time: MC83 MTWTh 2:15pm-3:20pm Office Room: MC38 Office Phone: (310)434-8673 E-mail: rodas brian@smc.edu Office Hours:
More informationHow To Pass The Cis 50 Online Course
CIS 50: Intro to Computing Information Technology Spring 2015 Welcome to Sections: DE1: CRN# 30342 (online), DE2: CRN# 30224 (online), V02: CRN# 30031 (T/TH, 9:30-10:45) 9:30-10:45 CIS 50: Intro to Computing
More informationMKTG 330 FLORENCE: MARKET RESEARCH Syllabus Spring 2011 (Tentative)
INSTRUCTOR: Ta Tao Chuang, Ph.D. OFFICE and OFFICE HOURS: tba and by appointment EMAIL: chuang@jepson.gonzaga.edu BLACKBOARD: http://learn.gonzaga.edu DAYS, TIMES & ROOM: M, W 5:15 6:45 pm (15 weeks) IMPORTANT
More informationPHILOSOPHY 101: CRITICAL THINKING
PHILOSOPHY 101: CRITICAL THINKING [days and times] [classroom] [semester] 20YY, [campus] [instructor s name] [office hours: days and times] [instructor s e-mail] COURSE OBJECTIVES AND OUTCOMES 1. Identify
More informationMUSIC BUSINESS Northwest College MUSB 2381- COOPERATIVE EDUCATION, MUSIC MANAGEMENT AND MERCHANDISING. CRN 11777 - Summer 2014
MUSIC BUSINESS Northwest College MUSB 2381- COOPERATIVE EDUCATION, MUSIC MANAGEMENT AND MERCHANDISING CRN 11777 - Summer 2014 Spring Branch Campus - Room 443H Date/Time: TBA 1 hour lecture, 320 hour lab
More informationSyllabus. May 16, Wednesday, 10:30 AM 12:30 PM
Syllabus Physics 270 0301, 0304 & 0306 Spring 2007 Prof. H. H. Chen Lectures: Sections 0301 TuTh 2:00 3:15PMin Physics Rm 1412. Sections 0304 TuTh 2:00 3:15PMin Physics Rm 1412. Sections 0306 TuTh 2:00
More informationMajor Topics Covered in the Course
Welcome to CSE 110! CSE 110 : Principles of Programming with Java (3) Spring 2012, Syllabus and Course Information School of Computing, Informatics, and Decision Systems Engineering, ASU Course web page
More informationCSE532 Theory of Database Systems Course Information. CSE 532, Theory of Database Systems Stony Brook University http://www.cs.stonybrook.
CSE532 Theory of Database Systems Course Information CSE 532, Theory of Database Systems Stony Brook University http://www.cs.stonybrook.edu/~cse532 Course Description The 3 credits course will cover advanced
More informationInvestment Management Course
Investment Management Course FIN 367 - Spring 2012 Instructor: Vito Sciaraffia Office: CBA 6.312 Ph: (512)232-6830 Email: vito.sciaraffia@mccombs.utexas.edu Class meetings 03085: Tu & Th from 9:30 am to
More informationCS 1361-D10: Computer Science I
CS 1361-D10: Computer Science I Instructor Name: Lopamudra Roychoudhuri Instructor Phone Number: (325) 486-5448 Instructor email: lroychoudhuri@angelo.edu Instructor Office: MCS 205E Class Times: Online,
More informationBusiness Management ACC414 Intermediate Accounting 1 Fall 2009 Section 011
Business Management ACC414 Intermediate Accounting 1 Fall 2009 Section 011 Instructor: Dr. Guoping Liu Office: TRS 2-077 Phone: (416)979-5000 x. 2453 Email: gliu@ryerson.ca Class Time and Location: Tuesday
More informationChild Development 382 Professional Seminar in Child Development: Current Issues Fall 2016 Tuesdays 5-7:50pm in Modoc 120
Child Development 382 Professional Seminar in Child Development: Current Issues Fall 2016 Tuesdays 5-7:50pm in Modoc 120 Instructor: Tess Manley, M.Ed Office: Modoc 102 Phone: (530) 898-4761 Email: tmanley@csuchico.edu;
More informationCSC 341, section 001 Principles of Operating Systems Spring 2015 Monday/Wednesday 1:00 PM 2:15 PM
CSC 341, section 001 Principles of Operating Systems Spring 2015 Monday/Wednesday 1:00 PM 2:15 PM Dr. Robert Ball 303C McKibben ballrg@sfasu.edu (936) 468-2508 Course Description Operating systems principles,
More informationMAT 103B College Algebra Part I Winter 2016 Course Outline and Syllabus
MAT 103B College Algebra Part I Winter 2016 Course Outline and Syllabus Instructor: Meeting Venue: Email: Caren LeVine Monday/Wednesday 6pm 7:50pm, E106 celevine@mail.ltcc.edu Office Hours (Outside The
More informationINSTRUCTOR INFORMATION Instructor: Adrienne Petersen Email: arpetersen@unr.edu Office: DMS 233 Office Hours: TuTh 11am-1pm by appointment
Math 120: Fundamentals of College Math Mathematics and Statistics Department, University of Nevada, Reno Section 1001, TuTh 2:30-3:45pm, FH 106 Section 1002, TuTh 1:00-2:15pm, FH 207 Fall 2014 INSTRUCTOR
More informationCS1030 11195 (TR: Davis Campus) Syllabus - 1030 - Introduction to Computer Science
CS1030 11195 (TR: Davis Campus) Syllabus - 1030 - Introduction to Computer Science Instructor: Texts: Course Objectives: Alison Sunderland Email: alisonsunderland@weber.edu (slow), Canvas email is preferred.
More informationDr. Angela Guercio. Spring 2011
CS 33101 Structure of Programming Languages Dr. Angela Guercio Spring 2011 Instructor Angela Guercio Office: 424, Main Hall Phone: 330 244 3424 (KSU ext 53424) Best way to contact me: aguercio@kent.edu
More informationSOUTHWEST COLLEGE Department of Mathematics
SOUTHWEST COLLEGE Department of Mathematics COURSE SYLLABUS MATH 1314: College Algebra INSTRUCTOR: E-MAIL: Fatemeh Salehibakhsh f.salehibakhsh@hccs.edu Office Hours M - W 2:30 3:00 PM Friday 11:00 AM 2:00
More informationDatabase Management Systems ISM 4212 (3 Credit Hours) Fall 2011
Database Management Systems ISM 4212 (3 Credit Hours) Fall 2011 Professor Ms. Sue Carter Course Day Office Location Course Time Office Phone Course Location E-Mail carter@fau.edu Blackboard http://blackboard.fau.edu
More informationINSC 102 Technologies for Information Retrieval FALL 2014 SECTION 002 Delivered online via Asynchronous Distance Education (ADE)
INSC 102 Technologies for Information Retrieval FALL 2014 SECTION 002 Delivered online via Asynchronous Distance Education (ADE) Instructor: Rebecca Davis Email: rdavis74@vols.utk.edu Office: 103 Communications
More informationMAC 2233, STA 2023, and junior standing
I. QMB 3600: Quantitative Methods in Business (3 credits) II. Prerequisite Courses & Standing: MAC 2233, STA 2023, and junior standing III. Course Logistics: Fall 2011, Section 002 CRN 82290 M W 12:30
More informationSmall Business Management BUSG 2309 Course Syllabus
Small Business Management BUSG 2309 Course Syllabus Semester with course reference number: Fall 24285 Course location, time: Spring Branch, Thursdays 6:30-8:30 PM, Hybrid Instructor D.S. (Steve) Ferguson,
More informationF l o r i d a G u l f C o a s t U n i v e r s i t y S t a t i s t i c a l M e t h o d s F a l l 2 0 1 2 - C R N 8 1 1 2 6
F l o r i d a G u l f C o a s t U n i v e r s i t y S t a t i s t i c a l M e t h o d s F a l l 2 0 1 2 - C R N 8 1 1 2 6 Instructor: Larry L. Southard, M.A. Email: lsouthar@fgcu.edu Telephone: (239) 590-7420
More informationPHIL 1010 Georgia State University Fall 2008 Critical Thinking Department of Philosophy George Rainbolt
PHIL 1010 Georgia State University Fall 2008 Critical Thinking Department of Philosophy George Rainbolt CRN 82845 34 Peachtree St., Suite 1100 TR 11-11:50 Revised August 19, 2008 CONTACT INFO Email: grainbolt@gsu.edu
More informationMASTER SYLLABUS 2015-2016
MASTER SYLLABUS 2015-2016 A. Academic Division: Business, Industry and Technology B. Discipline: Industrial Technology Engineering Design C. Course Number and Title: ENRD2170 Computer Aided Design II D.
More informationFIN 301 SYLLABUS Corporate Finance Spring 2012
FIN 301 SYLLABUS Corporate Finance Spring 2012 Professor: Hunter M. Holzhauer, Ph.D. Office Number: REDC 291 Office Phone: (814) 898-6326 E-mail: hmh14@psu.edu Office Hours: MTW 3:15-4:30pm (and by appointment)
More informationNew York City College of Technology Computer Systems Technology Department
New York City College of Technology Computer Systems Technology Department CST 3507/CS507: Advanced Single-LAN Concepts (3 credits, 2 class hours, 2 lab hours) Instructor: Office Phone: Office Hours: Virtual
More informationSTAT 121 Hybrid SUMMER 2014 Introduction to Statistics for the Social Sciences Session I: May 27 th July 3 rd
STAT 121 Hybrid SUMMER 2014 Introduction to Statistics for the Social Sciences Session I: May 27 th July 3 rd Instructor: Ms. Bonnie Kegan EMAIL: bkegan1@umbc.edu Contact Numbers: Mobile Phone: 410 507
More informationAlabama Department of Postsecondary Education. Representing The Alabama Community College System
Alabama Department of Postsecondary Education Representing The Alabama Community College System Central Alabama Community College MTH 100 Intermediate Algebra Prerequisite: MTH 092 or MTH 098 or appropriate
More informationCS 649 Database Management Systems. Fall 2011
SCHOOL OF BUSINESS, PUBLIC ADMINISTRATION AND INFORMATION SCIENCES LONG ISLAND UNIVERSITY, BROOKLYN CAMPUS DEPARTMENT OF COMPUTER SCIENCE CS 649 Database Management Systems Fall 2011 Course Schedule: Thursday
More informationINTERNATIONL CUISINE CHEF 1345 Monday 1:30pm 5:30pm Culinary Arts School Northeast Texas Community College Course Syllabus
Professor: Chef Kat Miller-Hays (Kilpatrick) Our Place Restaurant Pittsburg, TX Office: (903) 434-8392 Email: kkilpatrick@ntcc.edu INTERNATIONL CUISINE CHEF 1345 Monday 1:30pm 5:30pm Culinary Arts School
More informationElmira Business Institute Medical Transcription I (OFF 131)
Instructor Information: Instructor: Office Location: Telephone: Email: Office and Tutoring Hours: Elmira Business Institute Student Syllabus: Medical Transcription I (OFF 131) Semester: Summer 2014 Course
More informationMATH 020 Beginning Algebra SYLLABUS - Spring 2014
Mathematics and Computer Science Department Central Pennsylvania s Community College, HACC Virtual Campus MATH 020 Beginning Algebra SYLLABUS - Spring 2014 Instructor: Professor Robert King Class Time
More informationMathematics Spring Branch Campus
Communication Instructor: Bon Crowder Email: bon@mathfour.com Twitter: @mathfour (http://twitter.com/mathfour) Text or voice: 713-557-8048 Backchannel and outside of class discussions will be via Tweetchat
More informationStrategic Use of Information Technology (CIS 190.01) Summer / 2015 https://messiah.instructure.com
Summer Online 2015 Strategic Use of Information Technology (CIS 190.01) Summer / 2015 https://messiah.instructure.com Professor: Bev Motich Dates: June 8 July 31, 2015 Email: bmotich@messiah.edu Office
More informationIntroduction to Personality Psychology 2320, Spring 2013 TTh 5:30-6:45 Arts and Science 110 (Allen Auditorium)
Introduction to Personality Psychology 2320, Spring 2013 TTh 5:30-6:45 Arts and Science 110 (Allen Auditorium) Instructor: Wendy Slutske, Ph.D. Office: 212A McAlester Hall Office Hours: by appointment
More informationDepartment Policies for Online Math Classes
Department Policies for Online Math Classes Your course syllabus and any policies specific to your course are on your course homepage. Access Codes are purchased at The Book Store at the register. Once
More informationMathematics for Business and Economics ( MATH 3210 WEB ) SPRING 2016 Instructor: Dr. Sankara N. Sethuraman Please call me Dr. Sankar.
MATH 3210 WEB Mathematics for Business and Economics ( MATH 3210 WEB ) SPRING 2016 Instructor: Dr. Sankara N. Sethuraman Please call me Dr. Sankar. Office: Allgood Hall N323 Office Hours: 1:00 p.m. B 2:00
More informationSyllabus for MTH 311 Numerical Analysis
MTH 311 Numerical Analysis Syllabus, Spring 2016 1 Cleveland State University Department of Mathematics Syllabus for MTH 311 Numerical Analysis Fall 2016: January 20 May 13 1 Instructor Information Instructor:
More informationCOMP252: Systems Administration and Networking Online SYLLABUS COURSE DESCRIPTION OBJECTIVES
COMP252: Systems Administration and Networking Online SYLLABUS COURSE DESCRIPTION Installation, administration and maintenance of various modern operating systems widely-used in academic, industrial and
More informationBRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS ACNT 2311: MANGERIAL ACCOUNTING ONLINE VERSION COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT
BRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS ACNT 2311: MANGERIAL ACCOUNTING ONLINE VERSION COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT CATALOG DESCRIPTION ACNT 2311 Managerial Accounting.
More informationPre-Calculus AB. Computer Graphics 2014-2015
Pre-Calculus AB Revised: 12/20/2014 Computer Graphics 2014-2015 2011-2012 Instructor Information Name:Mr. James M. Ott Office Location:Room 1169, across from the Chemistry classroom Office Hours:Periods
More informationCSC-570 Introduction to Database Management Systems
The American University College of Arts and Sciences Department of Computer Science CSC-570 Introduction to Database Management Systems Semester: Fall 2011 Section: 001 Meeting Time(s): Wednesday 5:30
More informationIntroduction to Information Technology ITP 101x (4 Units)
Objective Concepts Introduction to Information Technology ITP 101x (4 Units) Upon completing this course, students will: - Understand the fundamentals of information technology - Learn core concepts of
More informationCS 341: Foundations of Computer Science II elearning Section Syllabus, Spring 2015
CS 341: Foundations of Computer Science II elearning Section Syllabus, Spring 2015 Course Info Instructor: Prof. Marvin K. Nakayama Office: GITC 4312 Phone: 973-596-3398 E-mail: marvin@njit.edu (Be sure
More informationMAT 113-701 College Algebra
MAT 113-701 College Algebra Instructor: Dr. Kamal Hennayake E-mail: kamalhennayake@skipjack.chesapeake.edu I check my email regularly. You may use the above email or Course Email. If you have a question
More informationCentral Michigan University College of Business Administration Online MBA Program. MBA 620 Online: Managerial Accounting: A Management Perspective
Central Michigan University College of Business Administration Online MBA Program MBA 620 Online: Managerial Accounting: A Management Perspective Instructor Contact Information Amy Swaney, PhD Physical
More informationINFO 2130 Introduction to Business Computing Spring 2013 Self-Paced Section 006
INFO 2130 Introduction to Business Computing Spring 2013 Self-Paced Section 006 Course Coordinator & Master Instructor: Prof. Ming-Chang Huang Office: 306A, Friday Phone: 704-687-7452 Email: mhuang5@uncc.edu
More informationMKT 363 Professional Selling & Sales Management Course Syllabus (Spring 2011)
MKT 363 Professional Selling & Sales Management Course Syllabus (Spring 2011) Instructor: Professor Herbert A. Miller, Jr. Office Hours: T TH 11:00-11:45am Class Hours: T - TH 12:30pm - 2:00pm Office Location:
More informationISM 4210: DATABASE MANAGEMENT
GENERAL INFORMATION: ISM 4210: DATABASE MANAGEMENT COURSE SYLLABUS Class Times: Tuesday, Thursday 9:35 11:30 AM Class Location: HVNR 240 Professor: Dr. Aditi Mukherjee Office; Phone: STZ 360, 39-20648
More informationCommunication Studies 121: Interpersonal Communication (UC:CSU) West Los Angeles College. Fall 2013 (8/26-12/15)
Page 1 of 7 Communication Studies 121: Interpersonal Communication (UC:CSU) West Los Angeles College Fall 2013 (8/26-12/15) Instructor: Linda Alexander, Ph.D. Office Hours/Contact Information Best to contact
More informationProfessor: Monica Hernandez Phone: (956)295-3562 Dept. Secretary Ms. Canales 956-295-3817
Texas Southmost College PSYC 2301 50A/60A General Psychology Course Syllabus PSYC 2301. 50A/60A General Psychology Professor: Monica Hernandez Phone: (956)295-3562 Dept. Secretary Ms. Canales 956-295-3817
More informationOffice phone: (414) 229 5269 Office phone: (414) 229 5105 Office: EMS E481 Office: EMS E 480
University of Wisconsin Milwaukee Mathematical Literacy for College Students I Syllabus Math 092 Section 013 (31559) Fall Semester 2015 Class Location: NWQ 1871 Class Time: Tuesdays and Thursdays from
More informationMath 830- Elementary Algebra
Math 830- Elementary Algebra Tue, Thur: 1:00pm-2:45pm Instructor: Dr. Lemee Nakamura Room: 3507 Office: 3621 Section 1979 Phone: 760-757-2121 ext.6219 Spring 2010 Email: lnakamura@miracosta.edu Office
More informationBRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS ITNW 2405: NETWORK ADMINISTRATION COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT
BRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS ITNW 2405: NETWORK ADMINISTRATION COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT CATALOG DESCRIPTION ITNW 2405 Network Administration. CIP 1109010007
More informationINTRODUCTION TO SMALL BUSINESS MANAGEMENT MANAGEMENT 103 (52356) 3 semester credits Summer Semester 2014
INTRODUCTION TO SMALL BUSINESS MANAGEMENT MANAGEMENT 103 (52356) 3 semester credits Summer Semester 2014 Class Meeting Information This course meets online Full Semester Course (June 9-August 2) ** The
More informationMATH 245 COLLEGE ALGEBRA Section 0251 10:55 1:30
MATH 245 COLLEGE ALGEBRA Section 0251 10:55 1:30 Instructor: Ms. L. K. Deutsch Office Hours: MW 1:30 3:50 PM Office & Office Phone: C2.123-2 323-780-6735 Textbook: College Algebra Lial, Hornsby and Schneider
More informationAUBURN UNIVERSITY TITLE XII STUDENT ACADEMIC HONESTY CODE
AUBURN UNIVERSITY TITLE XII STUDENT ACADEMIC HONESTY CODE CHAPTER 1200 Definition 1200 This act shall be known as the Student Academic Honesty Code. The Student Academic Honesty Code applies to all students
More informationBRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS POFI 1349: SPREADSHEETS (EXCEL) COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT
BRAZOSPORT COLLEGE LAKE JACKSON, TEXAS SYLLABUS POFI 1349: SPREADSHEETS (EXCEL) COMPUTER TECHNOLOGY & OFFICE ADMINISTRATION DEPARTMENT CATALOG DESCRIPTION POF1 1349 Spreadsheets (Excel). CIP 5204070004
More informationMARSHALL SCHOOL OF BUSINESS University of Southern California. FBE 555: Investment Analysis and Portfolio Management
MARSHALL SCHOOL OF BUSINESS University of Southern California FBE 555: Investment Analysis and Portfolio Management Prof. Christopher S. Jones Fall 2013 Course Syllabus This syllabus describes the policies,
More informationCOMPUTER SCIENCE TECHNOLOGY ITSC 1301 INTRODUCTION TO COMPUTERS Website: http://swc2.hccs.cc.tx.us/csci Course Syllabus
COMPUTER SCIENCE TECHNOLOGY ITSC 1301 INTRODUCTION TO COMPUTERS Website: http://swc2.hccs.cc.tx.us/csci Course Syllabus Course Description: Credit: 3(2 lecture, 2 lab) An introductory course to provide
More informationUNIVERSITY OF SOUTHERN MISSISSIPPI COLLEGE OF SCIENCE & TECHNOLOGY Industrial Engineering Technology
UNIVERSITY OF SOUTHERN MISSISSIPPI COLLEGE OF SCIENCE & TECHNOLOGY Industrial Engineering Technology COURSE SYLLABUS Course No.: 514 Section: G001 (Online) Title of Course: Engineering Project Management
More informationPSYC 4360 : HONORS DEVELOPMENTAL PSYCHOLOGY Fall 2015 Syllabus
PSYC 4360 : HONORS DEVELOPMENTAL PSYCHOLOGY Fall 2015 Syllabus Instructor: Amy Roberson Hayes, Ph. D. Class time: Wednesdays 2:00-4:56 Classroom: BRB 1040 (nursing building) Office: HPR 210 Office Phone:
More informationCS 425 Software Engineering
Department of Computer Science and Engineering College of Engineering, University of Nevada, Reno Fall 2009 CS 425 Software Engineering Lectures: Instructors: Office hours: Catalog description: Course
More informationIntermediate Algebra Math 0305 Course Syllabus: Spring 2013
Intermediate Algebra Math 0305 Course Syllabus: Spring 2013 Northeast Texas Community College exists to provide responsible, exemplary learning opportunities. Jerry Stoermer Office: Math /Science 104 Phone:
More informationPrerequisite Math 115 with a grade of C or better, or appropriate skill level demonstrated through the Math assessment process, or by permit.
Summer 2016 Math 125 Intermediate Algebra Section 0179, 5 units Online Course Syllabus Instructor Information Instructor: Yoon Yun Email: yunyh@lamission.edu Phone: (818)364-7691 MyMathLab: MyMathLab.com
More informationAUSTIN COMMUNITY COLLEGE DEPARTMENT OF COMPUTER STUDIES AND ADVANCED TECHNOLOGY
AUSTIN COMMUNITY COLLEGE DEPARTMENT OF COMPUTER STUDIES AND ADVANCED TECHNOLOGY Course Syllabus: COSC 1320 C++ / C Programming (CIS 2003) Section 33024 Lecture 021 at Northridge Campus Spring 2006 Instructor:
More informationLiberal Arts Mathematics 56-1723 (MA), Summer 2015
Liberal Arts Mathematics 56-1723 (MA), Summer 2015 Department of Science & Mathematics Columbia College Chicago 600 South Michigan Avenue Chicago, Illinois 60605 Course Title: Liberal Arts Mathematics
More informationCourse Requirements & Evaluation Methods
Course Title: Logic Circuits Course Prefix: ELEG Course No.: 3063 Sections: 01 & 02 Department of Electrical and Computer Engineering College of Engineering Instructor Name: Justin Foreman Office Location:
More informationManagement Science 250: Mathematical Methods for Business Analysis Three Semester Hours
Management Science 250: Mathematical Methods for Business Analysis Three Semester Hours Dr. Laura Swanson Office: FH, Rm. 3121 Homepage: http://www.siue.edu/~lswanso Office telephone: (618) 650-2710 e-mail:
More informationCollege of Industrial Management. Department of Management and Marketing COURSE SYLLABUS INTERNATIONAL BUSINESS, IMGT 440
College of Industrial Management Department of Management and Marketing COURSE SYLLABUS INTERNATIONAL BUSINESS, IMGT 440 Academic Year 2008-09 (Term 082) Instructor: Office: Office Phone: Class Timings1
More informationBCIS 1305 - Business Computer Applications - Online
BCIS 1305 - Business Computer Applications - Online Computer terminology, hardware, software, operating systems, and information systems relating to the business environment. The main focus of this course
More informationPrairie View A & M University
Prairie View A & M University Semester: Spring 2016 Course Title: College Algebra Course Prefix: Math Course No.: 1113 Section No.: P02 CRN: 20037 Department of Mathematics College of Arts and Science
More information