7745 research outputs found
Sort by
Week 7 - DB Development Essentials: The AMP Stack and MySQL querying
No full textIn this week, we will cover the following topics:
The architecture of web-based applications.
Importance of a stack of software to enable web-application development with database interaction (AMP Stack).
Typical AMP-stack installation flow.
Further MySQL queries.
… and will result in the following learning outcomes
An understanding of the location of various tiers and components in a web-based application.
Appreciation of what the AMP stack is and why is it important.
Appreciation of the installation flow for Apache, MySQL, and PHP
Guide to adding publications to PURE.
Get PDFA step by step guide for GCU researchers on how to add publications to PURE
Web Platform Development 1 - Week 1: HTML
No full textThe week 1 presentation, in common with the others in this module, contains a number of links to .htm and .html files. Depending on the browser you are using and the settings you have chosen these will either open in a browser or download to your computer . If you have chosen to download files to your local computer and to open them locally it may appear that images are missing ( see section 1.10 balloon.htm for an example of this happening). You can get round this by downloading the zipped resources for the week from the first tab of each week's presentation (see the bottom of Section 1.1 for an example
Propositional Logic 1
No full textIn this unit we present an introduction to propositional logic, a branch of science that is fundamental in the study of mathematics and computer science. The origin of logic dates back to the 3rd century BC and the Greek philosopher Aristotle who developed the earliest form of logical theory through rules for deductive reasoning. Modern mathematical logic is generally recognised as having started with the work of German mathematician Gottfried Leibniz in the 17th century. In the 19th century two English mathematicians, George Boole and Augustus De Morgan, are credited with extending the work of Leibniz and introducing symbolic logic. Other notable contributors to the development of propositional logic include the mathematicians, Gottlob Frege in Germany and Charles Pierce in the USA.
The unit begins with a brief overview of some of the terminology that features in propositional logic and the main logical operators (connectives) that are used in the construction of propositions are discussed in detail. Two special types of proposition known as tautologies and contradictions that are respectively always true or false are then described. The concept of logical equivalence is presented before we look at translating propositions from English to their corresponding symbolic form and vice-versa. The idea of a truth table, introduced earlier during the discussion on connectives, is then presented in further detail and we demonstrate how these tables can be used to prove properties such as logical equivalence. We then discuss how logical equivalence can be used to simplify propositions, identify tautologies and contradictions and prove identities. Next we look at how to determine whether a mathematical argument is valid or invalid based on how well the premises support the conclusion. To close the unit we briefly look at the role logic in computing, including simplifying expressions in computer programming and system specification
ALC Peer Review Checklist
Get PDFPeer review checklist used for reviewing modules being delivered via the AL
Access Repository Dashboard
Do you manage edShare@GCU? Access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard!