Search Constraints
Number of results to display per page
Results for:
Language
English
Remove constraint Language: English
Search Results
-
e-book
"This is a textbook on formal logic. The book is divided into eight parts. Part I introduces the topic and notions of logic in an informal way, without introducing a formal language yet. Parts II-IV concern truth-functional languages. In it, sentences are formed from basic sentences using a number of connectives ('or', 'and', 'not', 'if . . . then') which just combine sentences into more complicated ones. We discuss logical notions such as entailment in two ways: semantically, using the method of truth tables (in Part III) and proof-theoretically, using a system of formal derivations (in Part IV). Parts V-VII deal with a more complicated language, that of first-order logic. It includes, in addition to the connectives of truth-functional logic, also names, predicates, identity, and the so-called quantifiers. These additional elements of the language make it much more expressive than the truth-functional language, and we'll spend a fair amount of time investigating just how much one can express in it. Again, logical notions for the language of first-order logic are defined semantically, using interpretations, and proof-theoretically, using a more complex version of the formal derivation system introduced in Part IV. Part VIII covers an advanced topic: that of expressive adequacy of the truth-functional connectives"--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
Others
freeCodeCamp is a proven path to your first software developer job. More than 40,000 people have gotten developer jobs after completing this – including at big companies like Google and Microsoft. If you are new to programming, we recommend you start at the beginning and earn these certifications in order. To earn each certification, build its 5 required projects and get all their tests to pass.You can add these certifications to your résumé or LinkedIn. But more important than the certifications is the practice you get along the way.If you feel overwhelmed, that is normal. Programming is hard. Practice is the key. Practice, practice, practice. And this curriculum will give you thousands of hours of hands-on programming practice. And if you want to learn more math and computer science theory, we also have thousands of hours of video courses on freeCodeCamp's YouTube channel. If you want to get a developer job or freelance clients, programming skills will be just part of the puzzle. You also need to build your personal network and your reputation as a developer. You can do this on Twitter and GitHub, and also on the freeCodeCamp forum. Happy coding.
- Subjects:
- Computing
- Keywords:
- Computer programming Programming languages (Electronic computers) Coding theory
- Resource Type:
- Others
-
Others
In these comprehensive video courses, created by Santiago Basulto, you will learn the whole process of data analysis. You'll be reading data from multiple sources (CSV, SQL, Excel), process that data using NumPy and Pandas, and visualize it using Matplotlib and Seaborn, Additionally, we've included a thorough Jupyter Notebook course, and a quick Python reference to refresh your programming skills.
- Course related:
- AMA1600 Fundamentals of AI and Data Analytics and AMA1751 Linear Algebra
- Subjects:
- Mathematics and Statistics and Computing
- Keywords:
- Computer programming Computer science Python (Computer program language)
- Resource Type:
- Others
-
Others
During COVID-19 outbreak, people are staying at homes to lower the chance of infection. Having a long period lockdown, do you miss the moment you walk along a country park to enjoy a breath of fresh air? A student has developed a virtual Green Park with first-person view navigation, you can take a virtual walk and feel it by controlling the movement with a mouse and keyboard. This Park provides an auto-pilot feature, in which an i-Space cat will introduce the Park to you after selecting a self-guided tour function. Users can also fly a drone in the Park to experience a bird's eye view for the whole park.
The student uses 3D modeling software to create a virtual landscape of the Green Park and its 3D objects including plants, fountain, bench, direction board and buildings. These objects are openly accessible for download. You can import the objects into Unity software to create a unique and exquisite virtual park for your loved ones.
- Keywords:
- Human-computer interaction Virtual reality Parks
- Resource Type:
- Others
-
Others
The following procedures will show you how to build a touchless auto dispenser for hand sanitiser with simple IoT components and 3D printing.
- Keywords:
- H washing H -- Care hygiene Detectors Internet of things Arduino (Programmable controller)
- Resource Type:
- Others
-
Others
An Internet-of-Thing (IoT) component can be configured to collect real-time environmental data by integrating NodeMCU ESP8266 development board with a temperature and humidity sensor DHT11. The student used an Arduino IDE program to set up a small scale weather monitoring station which indicate the real-time and historical environmental data over the IoT platform ThingsBoard.
- Keywords:
- Arduino (Programmable controller) Environmental monitoring--Data processing Internet of things
- Resource Type:
- Others
-
Others
With the advancement of technologies, we are now a lot easier to access the internet with different electronic widgets compared to the past decades. IoT technology is developed to make use of the vast usage of internet so as to create an environment for centralized control. Let’s look into the case of our home. When we feel that a room is dim, we have to switch on a light. Similarly, we are required to turn on a TV with a remote. “How about making a controller panel that can turn on all electronic appliances in our home?” One of the solutions of this question is making our home smarter with IoT.
- Keywords:
- Arduino (Programmable controller) Intelligent control systems Internet of things
- Resource Type:
- Others
-
Others
3D Modelling and Virtual Reality Tour of the Library’s i-Space
A virtual reality tour was developed by a student that allows the user to navigate and explore the virtual Library’s i-Space (4/F North Wing) freely using a mouse and keyboard as playing a first-person shooter game. The student used 3DS MAX 3D modeling software to create a virtual space of i-Space and its 3D objects bit by bit including furniture, plants, laser printers, 3D printers and PCs video wall. Then, all these 3D objects are imported into Unity software to complete the VR game development. With his tremendous effort, user can get the first-person experience of the i-Space just like visiting in person and learn about what facilities provided in the Digital Makerspace. The web version of the virtual tour is available here: https://webapp.lib.polyu.edu.hk/ispaceVR/
- Keywords:
- Hong Kong Polytechnic University. Pao Yue-kong Library Human-computer interaction Virtual reality
- Resource Type:
- Others
-
Others
In this animated object, learners view hydrogen and hydroxide ions in a solution. A brief quiz on the basic principles of the term pH completes the activity.
- Subjects:
- Chemistry
- Keywords:
- Hydrogen-ion concentration
- Resource Type:
- Others
-
Video
Learn how to fly the aircraft by using the primary, secondary and ancillary controls.
- Course related:
- AAE4902 Pilot Ground Theory
- Subjects:
- Aeronautical and Aviation Engineering
- Keywords:
- Aerodynamics Airplanes -- Piloting
- Resource Type:
- Video