Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.

Delftse Foundations of Computation is a textbook for an introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.

This course takes a 'back to the beginning' view that aims to better understand the end result. What might be the developmental processes that lead to the organization of 'booming, buzzing confusions' into coherent visual objects? This course examines key experimental results and computational proposals pertinent to the discovery of objects in complex visual inputs. The structure of the course is designed to get students to learn and to focus on the genre of study as a whole; to get a feel for how science is done in this field.

Digital circuits, often called Integrated Circuits or ICs, are the central building blocks of a Central Processing Unit (CPU). To understand how a computer works, it is essential to understand the digital circuits which make up the CPU. This text introduces the most important of these digital circuits; adders, decoders, multiplexers, D flip-flops, and simple state machines.

This course describes discrete mathematics, which involves processes that consist of sequences of individual steps (as compared to calculus, which describes processes that change in a continuous manner). The principal topics presented in this course are logic and proof, induction and recursion, discrete probability, and finite state machines. Upon successful completion of this course, the student will be able to: Create compound statements, expressed in mathematical symbols or in English, to determine the truth or falseness of compound statements and to use the rules of inference to prove a conclusion statement from hypothesis statements by applying the rules of propositional and predicate calculus logic; Prove mathematical statements involving numbers by applying various proof methods, which are based on the rules of inference from logic; Prove the validity of sequences and series and the correctness or repeated processes by applying mathematical induction; Define and identify the terms, rules, and properties of set theory and use these as tools to support problem solving and reasoning in applications of logic, functions, number theory, sequences, counting, probability, trees and graphs, and automata; Calculate probabilities and apply counting rules; Solve recursive problems by applying knowledge of recursive sequences; Create graphs and trees to represent and help prove or disprove statements, make decisions or select from alternative choices to calculate probabilities, to document derivation steps, or to solve problems; Construct and analyze finite state automata, formal languages, and regular expressions. (Computer Science 202)

Los modelos de datos son mecanismos que permiten la abstracción y representación de un dominio, mediante un conjunto de reglas y símbolos pertenecientes a un lenguaje de modelado que es conforme al modelo. Un modelo puede definirse como la abstracción que permite representar los diferentes elementos pertenecientes a un dominio del negocio, sus relaciones y asociaciones, conforme sucedería en el mundo real.

The course addresses dynamic systems, i.e., systems that evolve with time. Typically these systems have inputs and outputs; it is of interest to understand how the input affects the output (or, vice-versa, what inputs should be given to generate a desired output). In particular, we will concentrate on systems that can be modeled by Ordinary Differential Equations (ODEs), and that satisfy certain linearity and time-invariance conditions. We will analyze the response of these systems to inputs and initial conditions. It is of particular interest to analyze systems obtained as interconnections (e.g., feedback) of two or more other systems. We will learn how to design (control) systems that ensure desirable properties (e.g., stability, performance) of the interconnection with a given dynamic system.

MAIN AIMS OF THE MODULE: To achieve an understanding and practical experience of key principles, methods and theories in the area of educational software.
LEARNING OUTCOMES FOR THE MODULE: The module provides opportunities for students to develop and demonstrate knowledge and understanding, qualities, skills and other attributes in the following areas:
1) Obtain understand of major learning principles, theories, and approaches
2. Identify key factors of successful educational software design and deployment.
3) Apply theories, principles, and approached into an appropriate design of educational software system.
4) Establish an appreciation of state-of-art developments in the area of educational software design.
MAIN TOPICS OF STUDY: The main topics of study considered in light of the above learning outcomes are: ‰ Educational Principles Design of educational software such as electronic instruction manuals, serious gaming, VR training, drills, and tutor agents and tutorials ‰Educational software for specific learners such as children, elderly, mentally or physically challenged individuals ‰CEvaluation of education software.

Treatment of electromechanical transducers, rotating and linear electric machines. Lumped-parameter electromechanics of interaction. Development of device characteristics: energy conversion density, efficiency; and of system interaction characteristics: regulation, stability, controllability, and response. Use of electric machines in drive systems. Problems taken from current research. This course explores concepts in electromechanics, using electric machinery as examples. It teaches an understanding of principles and analysis of electromechanical systems. By the end of the course, students are capable of doing electromechanical design of the major classes of rotating and linear electric machines and have an understanding of the principles of the energy conversion parts of Mechatronics. In addition to design, students learn how to estimate the dynamic parameters of electric machines and understand what the implications of those parameters are on the performance of systems incorporating those machines.

"Published in 1989 by Prentice-Hall, this book is a useful resource for educators and self-learners alike. The text is aimed at those who have seen Maxwell's equations in integral and differential form and who have been exposed to some integral theorems and differential operators. A hypertext version of this textbook can be found here. An accompanying set of video demonstrations is available below. These video demonstrations convey electromagnetism concepts. The demonstrations are related to topics covered in the textbook. They were prepared by Markus Zahn, James R. Melcher, and Manuel L. Silva and were produced by the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology. The purpose of these demonstrations is to make mathematical analysis of electromagnetism take on physical meaning. Based on relatively simple configurations and arrangements of equipment, they make a direct connection between what has been analytically derived and what is observed. They permit the student to observe physically what has been described symbolically. Often presented with a plot of theoretical predictions that are compared to measured data, these demonstrations give the opportunity to test the range of validity of the theory and present a quantitative approach to dealing with the physical world. The short form of these videos contains the demonstrations only. The long form also presents theory, diagrams, and calculations in support of the demonstrations. These videos are used in the courses 6.013J/ESD.013J and 6.641. Technical Requirements:Special software is required to use some of the files in this course: .mp4, .rm."

Feedback control is an important technique that is used in many modern electronic and electromechanical systems. The successful inclusion of this technique improves performance, reliability, and cost effectiveness of many designs. In this series of lectures we introduce the analytical concepts that underlie classical feedback system design. The application of these concepts is illustrated by a variety of experiments and demonstration systems. The diversity of the demonstration systems reinforces the value of the analytic methods.

In this course, the student will learn the theoretical and practical aspects of algorithms and Data Structures. The student will also learn to implement Data Structures and algorithms in C/C++, analyze those algorithms, and consider both their worst-case complexity and practical efficiency. Upon successful completion of this course, students will be able to: Identify elementary Data Structures using C/C++ programming languages; Analyze the importance and use of Abstract Data Types (ADTs); Design and implement elementary Data Structures such as arrays, trees, Stacks, Queues, and Hash Tables; Explain best, average, and worst-cases of an algorithm using Big-O notation; Describe the differences between the use of sequential and binary search algorithms. (Computer Science 201)

This book contains roughly three parts. The first 11 chapters discussthe JavaScript language itself. The next eight chapters are about webbrowsers and the way JavaScript is used to program them. Finally,two chapters are devoted to Node.js, another environment to programJavaScript in.Throughout the book, there are five project chapters, which describelarger example programs to give you a taste of real programming. Inorder of appearance, we will work through building an artificial life simulation,a programming language, a platform game, a paint program,and a dynamic website.

This book contains roughly three parts. The first 11 chapters discussthe JavaScript language itself. The next eight chapters are about webbrowsers and the way JavaScript is used to program them. Finally,two chapters are devoted to Node.js, another environment to programJavaScript in.Throughout the book, there are five project chapters, which describelarger example programs to give you a taste of real programming. Inorder of appearance, we will work through building an artificial life simulation,a programming language, a platform game, a paint program,and a dynamic website.

This text is designed to introduce and expand upon material related to the C programming language and embedded controllers, and specifically, the Arduino development system and associated Atmel ATmega microcontrollers. It is intended to fit the time constraints of a typical 3 to 4 credit hour course for electrical engineering technology and computer engineering technology programs, although it could also fit the needs of a hardware-oriented course in computer science. As such, the text does not attempt to cover every aspect of the C language, the Arduino system or Atmel AVR microcontrollers. The first section deals with the C language itself. It is assumed that the student is a relative newcomer to the C language but has some experience with another high level language, for example, Python. This means concepts such as conditionals and iteration are already familiar and the student can get up and running fairly quickly. From there, the Arduino development environment is examined. Unlike the myriad Arduino books now available, this text does not simply rely on the Arduino libraries. As convenient as the libraries may be, there are other, sometimes far more efficient, ways of programming the boards. Many of the chapters examine library source code to see “what's under the hood”. This more generic approach means it will be easier for the student to use other processors and development systems instead of being tightly tied to one platform.

There is a lab manual for this textbook.

Table of Contents
Course Introduction
C Memory Organization
C Language Basics
C Language Basics II
C Storage Types and Scope
C Arrays and Strings
C Conditionals and Looping
C Pointers
C Look-Up Tables
C Structures
C Linked Lists
C Memory
C File I/O
C Command Line Arguments
Embedded Programming
Hardware Architecture
AVR ATmega 328P Overview
Bits & Pieces: includes and defines
Bits & Pieces: Digital Input Circuitry
Bits & Pieces: Digital Input Circuitry
Bits & Pieces: pinMode
Bits & Pieces: digitalWrite
Bits & Pieces: delay
Bits & Pieces: digitalRead
Bits & Pieces: Analog Input Circuitry
Bits & Pieces: analogRead
Bits & Pieces: analogWrite
Bits & Pieces: Timer/Counters
Bits & Pieces: Interrupts

Emerging technologies are science-based innovations that hold the potential to create a new or improve an existing sector: (Day and Schoemaker(2000) in Rotolo,2016). Therefore, it involves the modern advances and innovations in various fields of technology. The technologies that derived radical innovations include the biotherapy, digital photography, high-temperature superconductors, the micro robots or mobile computing, plus evolving technologies formed by the convergence of the earlier separate areas of research like the magnetic resonance images, electronic banking, high definition TV and the Internet itself. Each of these technologies provide a rich source of market opportunity and the provision of the incentive for bold investments are made. It is in this context that fits this discipline seeking to guide the student to the main lines of research in applied computer science.

Pharo is a clean, innovative, open-source, live-programming environment.

Enterprise Pharo is the third volume of a series of book covering Pharo and its community. Whereas the first volume Pharo by Example is intended for newcomers and the second volume Deep into Pharo covers deep topics of Pharo, this third volume covers libraries and frameworks for enterprises, and in particular those doing web development.

Pharo is a clean, innovative, open-source, live-programming environment.

Enterprise Pharo is the third volume of a series of book covering Pharo and its community. Whereas the first volume Pharo by Example is intended for newcomers and the second volume Deep into Pharo covers deep topics of Pharo, this third volume covers libraries and frameworks for enterprises, and in particular those doing web development.

Also available here: https://open.umn.edu/opentextbooks/textbooks/enterprise-pharo-a-web-perspective

The following set of materials is used in the Textbook Transformation Grants implementation of Ethical Hacking for Effective Defense:

https://oer.galileo.usg.edu/compsci-collections/8/

Topics include:

TCP/IP Level Attacks
Port Scanning
DDoS
Footprinting and Social Engineering
Enumeration
Programming for Security Professionals
Operating System Vulnerabilities
Embedded System Security
Hacking Web Servers
Hacking Wireless Networks
Cryptography
Protecting Networks with Security Devices

Labs available here: https://alg.manifoldapp.org/projects/ethical-hacking-and-networking-security-labs

This book discusses what is currently known about software engineering, based on an analysis of all the publicly available data. This aim is not as ambitious as it sounds, because there is not a great deal of data publicly available.

The intent is to provide material that is useful to professional developers working in industry; until recently researchers in software engineering have been more interested in vanity work, promoted by ego and bluster.

The material is organized in two parts, the first covering software engineering and the second the statistics likely to be needed for the analysis of software engineering data.