This comprehensive quiz which covers the key concepts of dependable software processes, including process characteristics, key development activities, regulatory compliance, quality/change management, and agile integration.
This comprehensive quiz evaluates key concepts of redundancy and diversity in sociotechnical system dependability, covering strategies, trade-offs, and real-world implementations
An interactive genetics tool that simulates monohybrid, dihybrid, and sex-linked crosses with real-time ratio calculations, visual Punnett squares, and multi-format data export options.
A sociotechnical system is a system where technology and human/organizational factors work together, and both must be considered to understand how the system performs and how dependable it is
Covers translating everyday phrases such as "sufficient condition," "necessary condition," and "only if" into symbolic conditional statements, along with writing and negating simple disjunctions and conjunctions.
Covers which sets of logical connectives are functionally complete, extending truth tables to three-valued logic, and solving classic self-referential logic puzzles.
Covers testing logical equivalence, identifying the contrapositive of a conditional, verifying tautologies, and applying propositional logic to search-engine queries, program conditions, and combinatorial counting.
Introduces what counts as a genuine logical statement, then practices evaluating the truth values of simple conjunctions, disjunctions, and conditionals built from basic number facts.
The foundational concepts of algorithms in logic, including truth table scaling, pseudocode structure, shortcut tautology testing for conditional expressions, and identifying contradictions in truth assignments
This quiz tests your understanding of practical applications of formal logic. It covers how search engines utilize logical connectives (AND, OR, NOT) to refine web queries, how logical expressions simplify program code and control execution flow, and how electronic gates implement these truth tables directly in computer circuitry.
Covers the pole, polar axis, directed angle, negative values of r, multiple representations of the same point, and the relations between polar and Cartesian coordinates.
Covers the general form Ax+By+C=0, its slope and intercepts, the slope conditions for parallel and perpendicular lines, and the formula for the angle between two lines.
Covers the equations of horizontal and vertical lines, and the point-slope, slope-intercept, two-point, and intercept forms of the equation of a nonvertical line.
Covers directed distance (signed length) between points on horizontal and vertical segments, and the distance formula derived from the Pythagorean theorem.
Covers the historical roots of geometry, the axiomatic approach of Euclid, the analytic approach of Descartes, and the rectangular Cartesian coordinate system with its quadrants.
