Search result for Logic examples in math Online Courses & Certifications
FollowFilter ![]()
Filter ![]()
Showing 396 courses
By Category ![]()
By Subject![]()
By Language![]()
By Duration![]()
By Price![]()
Get Course Alerts by Email
Master Discrete Mathematics: Sets, Math Logic, and More
by Grant Hall- 4.6
-
![]()
![]()
![]()
![]()
![]()
7 hours on-demand video
This is a course designed to help you master the difficult topics of Discrete Math and get you prepared for a career in computer science, actuarial science, mathematics, or even engineering! I have been tutoring for many years and my students have had great experiences with my teaching methods!...
$16.99
Question Everything: Scientific Thinking in Real Life
by Noël Chan , Scott Jones , Derek McDowall , Anthony Mewing- 0.0
-
![]()
![]()
![]()
![]()
![]()
8 Weeks
Learn how to use math and science to solve everyday problems. Each concept will be explored through real world examples and problems that will help you visualize how math and science work in your life. This course is ideal for high school students looking to challenge themselves and further develop an interest in math and science....
$59
VLSI CAD Part I: Logic
by Rob A. Rutenbar- 4.7
-
![]()
![]()
![]()
![]()
![]()
Approx. 23 hours to complete
Our focus in this first part of the course is on key Boolean logic representations that make it possible to synthesize, and to verify, the gate-level logic in these designs. Topics covered will include: Computational Boolean algebra, logic verification, and logic synthesis (2-level and multi-level). Linear algebra and calculus at the level of a junior or senior in engineering....
Automated Reasoning: Symbolic Model Checking
by Hans Zantema- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 13 hours to complete
We present how in CTL (computation tree logic) properties like reachability can be described. One way to deal with this is symbolic model checking: a way in which sets of states are represented symbolically. Computation Tree Logic Computation Tree Logic Algorithm Computation Tree Logic Example BDD Examples Deadlock checking in a network...
Discrete Mathematics
by Miran Fattah- 4.5
-
![]()
![]()
![]()
![]()
![]()
19 hours on-demand video
Master Discrete Math for Computer Science and Mathematics Students Discrete Mathematics (DM), or Discrete Math is the backbone of Mathematics and Computer Science. The topics that are covered in this course are the most essential ones, those that will touch every Math and Science student at some point in their education....
$21.99
Hardware Description Languages for FPGA Design
by Timothy Scherr , Benjamin Spriggs- 4.3
-
![]()
![]()
![]()
![]()
![]()
Approx. 36 hours to complete
This course can also be taken for academic credit as ECEA 5361, part of CU Boulder’s Master of Science in Electrical Engineering degree. Hardware Description Languages for Logic Design enables students to design circuits using VHDL and Verilog, the most widespread design methods for FPGA Design. VHDL in ModelSim: Download and Install...
Sudoku made Easy
by Trevor Gardner- 3.9
-
![]()
![]()
![]()
![]()
![]()
2 hours on-demand video
Sadly, many people who feel they are not good at math are put off from playing this wonderful game due to the fact that it contains numbers. Sudoku does NOT require any Math skills to play, rather it is a game of logic that can improve your cognitive skills and help your memory....
$11.99
Related searches
Mathematical Thinking in Computer Science
by Alexander S. Kulikov , Michael Levin , Владимир Подольский- 4.4
-
![]()
![]()
![]()
![]()
![]()
Approx. 40 hours to complete
Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important tools used in discrete mathematics: induction, recursion, logic, invariants, examples, optimality. Basic Logic Constructs Balls in Boxes Numbers in Tables Examples, Counterexamples and Logic...
QC051: Math Prerequisites for Quantum Computing
by Kumaresan Ramanathan- 4.6
-
![]()
![]()
![]()
![]()
![]()
4 hours on-demand video
Review of Basic Math prerequisites for Quantum Computing & Quantum Physics This is a refresher course in Mathematics for students who studied Math and Physics through 12th grade high school, but have now forgotten many of the details. In less than 4 hours I review the Math you will need to understand quantum computing concepts....
$15.99
Criteria Cognitive Aptitude Test (CCAT) Practice Questions
by Sener Kilic- 3.7
-
![]()
![]()
![]()
![]()
![]()
In this course, you will encounter with different CCAT questions. - Math (Aritmetic Mean, Rate, Ratio, Direct and Reverse Proportion. - Logic (Connection between events. - Verbal (Synonym, Opposite, Fill in the blanks with words, similar relations. You should notice in CCAT to these things:...
$14.99
