Solve these puzzles and build your foundational logical reasoning skills. Start. Operator Search. Fill in the missing operations to make a true equation. Start. Arithmetic Puzzles. Arithmetic puzzles are Mad Libs for math: fill in the blanks with numbers or operations to make the equation true. Start. Grid Puzzles So we have what the computer scientists sometimes call a 'memoryless' winning strategy. In the related 'logic of games', proposed by Rohit Parikh, games that move us between the states are the subject matter rather than a way of giving a truth definition. These games have many interesting aspects 5 Great Games That Teach Computer Science Lightbot. Developed by LightBot Inc., Lightbot is a quirky puzzle game that teaches programming logic through gameplay. Human Resource Machine EDU. I've previously written about how much I enjoy Human Resource Machine EDU, another zany... CodeMonkey. Catch. Like many others logic puzzle games, Sudoku, Star Battle and Skyscrapers can be described as Constraints Satisfaction Problems³. A CSP consists of three elements: A set of variables of which we want find the right value; A domain of possible values for each variable; A set of constraints defining the problem; For example for the Sudoku game we have Here you will find interesting logic games to spend some time and improve your logic skills. Einstein's Riddle This is a Zebra Puzzle that was supposed created by Albert Einstein in the beginning of 20th century

Instructions. This page lets you simulate the behaviour of arbitrary collections of logic gates. To see some ideas of what is possible, try looking at the Presets menu, where you'll find several pre-built circuits. Click the play button to start the simulation Here are the top free Logic games for PC for 2021, including Number World Adventure, Adventure Mosaics: Forest Spirits, Clear It 5, and more. Download only unlimited full version fun games online and play offline on your Windows 7/10/8 desktop or laptop computer The Logic Gates. Inverses the current output, therefore positive (1 or ON) becomes negative (0 or OFF), whilst negative (0 or OFF) would become positive (1 or ON). Both inputs have to be positive (1) before the output is also positive (1). At least one input has to be positive (1) to give a positive output (1 or ON)

- Learning Objectives In this post you will predict the output of logic gates circuits by completing truth tables. First you need to learn the basic truth tables for the following logic gates: AND Gate OR Gate XOR Gate NOT Gate First you will need to learn the shapes/symbols used to draw the four main logic gates: Logic Gate Truth Table Your Task Your task is to complete the truth tables for the.
- introductory logic course can successfully go beyond what is usually considered tot he be the appropriate level. They are able to actually do proofs using the methods we teach and are surprised and challenged by the idea of several logics. We feel that this is because computer science, properly taught, makes the student of logic easier, and vice versa
- ation of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games. This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways
- Featured Games. Advertisement. Arty Agent. Unpuzzle 2. Block the Pig. Logic Steps. Lightybulb 3. Car Park Puzzle. Red Block Returns

Logic plays a fundamental role in computer science. Some of the key areas of logic that are particularly significant are computability theory (formerly called recursion theory), modal logic and category theory. The theory of computation is based on concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing The Magic of **Computer** **Science**; The Magic of **Computer** **Science** 2; The Magic of **Computer** **Science** 3; Magic and Algorithms: The Australian Magician's Dream; Activities. Learning about Machine Learning. The Intelligent Piece of Paper Activity; The Brain-in-a-bag Activity; The Sweet Learning **Computer** Activity; Christmas Computing; Halloween Computing; Valentine Computin Logic is key to computer science and programming, which is why programs that help you understand logic lay a good foundation for when you start learning code. Once you've a good understanding of how computers deal with commands and logic, you should advance to how they think - in binary code * Logic gates*. In its most basic form, a computer is a collection of powered and unpowered circuits. and transistors Fun Computer Science Online Games Collection. This category include all games, puzzles and mosaics, suitable to explore and study computers, computer vocabulary, software, theoretical knowledge and activities for computers in a fun interactive way

6. Information. Let's test your knowledge of Truth Tables. You have already completed the quiz before. Hence you can not start it again. Quiz is loading... You must sign in or sign up to start the quiz. You have to finish following quiz, to start this quiz: Results This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth Have fun and challenge your logical thinking skills with these free physics puzzles, platformers & drawing games like B-Cubed, Bloxorz & There is No Game Altogether there are three inputs and eight possible outcomes. To solve the truth table below, first find D, then E and finally Z. Complete a whole columnn before moving on to the next column. D.

Advanced computer science project topics. This is the Vanilla Bean Chocolate Chips Frappucino Blended Creme type of a game design project, with a cherry on top. Mario clone - meaning a platformer. Kind of like Bomberman, but you broke out of a confined box. More space = more possibilities Mathematical logic, also called formal logic, is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, philosophy, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of. GCSE Computer Science: Logic Gates and Logic CircuitsThis module contains:An editable PowerPoint lesson presentationEditable revision handoutsA glossary which covers the key terminologies of the moduleTopic mindmaps for visualising the key conceptsPrintable flashcards to help students engage active recallA quiz with answer key to test knowledge and understanding of the moduleCompatible with. Kort om programmet. Masterprogrammet i Computer Science erbjuder dig frihet och flexibilitet att välja mellan ett stort utbud av kurser. Datavetenskap är ett brett ämne som spänner över allt från beräkningsteori till design av programvarusystem

Logic in Computer Science Course DIT202 Master's level 7,5 credits (ECTS) Autumn 2021 Study pace 50% Time Day. Location Göteborg. Show more. Study form Campus. Language English. Duration 30 Aug 2021 - 31 Oct 2021. Application open 15 Mar 2021 - 15 Apr 2021. Application cod Logic is used in math and science to test hypotheses, solve problems, prove theorems and draw conclusions from observations. Two key forms of logical reasoning are deductive and inductive. Deductive reasoning starts with a general premise that, if true, will result in logical conclusions that are also true All the Popular brands, to Your Door. Free UK Delivery on Eligible Orders Department of Computer Science, 2018-2019, automatalogicgames, Automata, Logic and Games. Skip to main content. University of Oxford Department of Computer Science Search for. Search. Covid-19 Information. Toggle Main Menu Home. Logic and Games. First published Fri Jul 27, 2001; substantive revision Fri Aug 16, 2019. Games between two players, of the kind where one player wins and one loses, became a familiar tool in many branches of logic during the second half of the twentieth century. Important examples are semantic games used to define truth, back-and-forth games.

Chapter 1: Reachability Games and First-Order Logic ; Content Objective. Understanding the fundamental concepts and problems of algorithmic game theory, especially the connection of logic and game theory. Knowledge of the logical and algorithmical methods to handle infinite games Logic Games. Here you will find interesting logic games to spend some time and improve your logic skills. Einstein's Riddle. This is a Zebra Puzzle that was supposed created by Albert Einstein in the beginning of 20th century. Greek Logic. In this logic puzzle, you have to fill the grid using all the given Greek letters Format of the Logic Games Section. The whole section is comprised of four logic game setups, each with 5-8 questions (22-24 questions total), which must be answered in 35 minutes. Games are made up of three main components: a setup that describes the task, a set of rules that have to be followed, and the questions * Here are the top free Logic games for PC for 2021, including Number World Adventure, Adventure Mosaics: Forest Spirits, Clear It 5, and more*. Download only unlimited full version fun games online and play offline on your Windows 7/10/8 desktop or laptop computer. Fast and secure game downloads

logic for computer science does not represent an opportunity to make monetary profits. Why, then, has the book re-appeared? Because of repeated demands from around the world (but mainly from the USA) for copies of it! There are no longer any (new) copies for sale, so given the demand something had to be done Brilliant - Build quantitative skills in math, science, and computer science with fun and challenging interactive explorations It is often said that being good at Maths is important for Computer Scientists. So what's the link? Well a lot of the more obviously fun sides of maths are actually computer science too, like how to do puzzles such as Rubik's Cubes, puzzles about weird and wonderful characters crossing rivers, how to win at strategy games, and doing Sudoku In: Proc. 16th IEEE Symp. on Logic in Computer Science (2001) Google Scholar 52. Lamport, L.: sometime is sometimes not never - on the temporal logic of programs

In computer science, the paradigm of rational verification aims to which properties hold of concurrent systems under the assumption that system components are in game theoretic equilibrium. This Special Issue will profile the state-of-the-art in logic and game theory, showcasing key problems and directions LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science Good-for-games ω-Pushdown Automata. Pages 689-702. Previous Chapter Next Chapter. ABSTRACT. We introduce good-for-games ω-pushdown automata (ω-GFG-PDA) $\begingroup$ How in the world could you assert that logic gates have nothing to do with Computer Science or Software Engineering? It's like saying, I want to learn medicine, but they're making me take a class about cells Representing and reasoning about imperfect information games have been an important topic across the study of game theory, mathematics, logic and computer science , . In these games, players only have partial information of the current game state due to their limited observation powers or memory abilities Learn about the Boolean data type and how Boolean logic is a key aspect of computer programming for GCSE Bitesize Computer Science

Turn Paper Maze Programming into a Creative Game. The directions for this week's computer science activity involve using a small handmade paper maze. You could also use a checkers or chess board, just mark the start and end points with a toy or piece of colorful tape and also mark the path for the maze with tape or Post-it®-style notes Computer Science 3 Brain Teasers & Riddles Games - What is the music of life? This website uses cookies to ensure you get the best experience. By continuing to browse the site you consent to the use of cookies The ACM-IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic.Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic Several Steps To Improve Programming Logic. The programming logic word has some of its roots in the development of computer science. The programming logic begins only with the 'fast and hard logic' that is collected into the very complex algorithms and is expressed in the programming such as Prolog LICS 2020 will be hosted in Beijing in the period 8-12 July 2020, in co-location with ICALP 2020. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric

Computer Science Q&A Library Reffering to Picture Logic games. How are the encodings the same or different from run-length encodings? Why wouldn't a game using just run-length encodings be challenging? Why do you think fax machines use RLE Computer games can help develop logical thinking Opinion: We can introduce logic and the work of George Boole to students using games and puzzle Summer Preparation: Logic & Formal Reasoning. Logic is the foundation of mathematics and of programming. CS 311H, which you will take during your first semester in the Turing Scholars Honors Program, will introduce you to logic as a language for thought, as well as techniques for using logic to prove theorems The use of Fuzzy Logic for Artificial Intelligence in Games Michele Pirovano1,2 1 Department of Computer Science, University of Milano, Milano, Italy 2 Dipartimento di Ingegneria Elettronica e Informazione, Politecnico di Milano, Italy December 7, 2012 Abstract Game AI, like all other aspects of a videogame, exists to pro- pel the higher goal of a videogame: to be fun and entertain

Free, online math games and more at MathPlayground.com! Problem solving, logic games and number puzzles kids love to play ** Computer-Based Learning Early Learning All Logic Games & Puzzles Dot-to-Dot Books Preschool Kindergarten 1st - 3rd Grade 4th - 6th Grade 7th - 8th Grade Science Puzzles**. 1 2 Next. In Game Logic: Level Up and Create Your Own Games with Science Activities for Kids, middle schoolers take on the world of games by figuring out what makes them challenging, fun, and addictive! Kids love games. Board games are still wildly popular, despite the profusion of video gaming devices that reach audiences as young as toddlerhood Logical Methods in Computer Science (2005-2012) RAIRO Theoretical Informatics and Applications (2000-2012) Discrete Mathematics and Theoretical Computer Science (1997-2012) ACM Transactions of Computational Logic (2000-2010) Theoretical Computer Science (1998-2006) Dean of Faculty of Mathematics, Informatics and Natural Sciences (2004-2006

Q&A for students, researchers and practitioners of computer science. I'm creating a circuit with in3, in2, in1, and in0, and outputs F11-F0. The circuit has to take the input in 2s complement and output the number in binary with the sign Logic design, Basic organization of the circuitry of a digital computer.All digital computers are based on a two-valued logic system—1/0, on/off, yes/no (see binary code).Computers perform calculations using components called logic gates, which are made up of integrated circuits that receive an input signal, process it, and change it into an output signal Logic Programming Computer Security. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity. Other topics, including logic programming, non-monotonic reasoning, temporal logic, and reasoning about knowledge and belief, are surveyed as time.

- In this chapter we discuss relationships between logic and games, focusing on first-order logic and fixed-point logics, and on reachability and parity games. We discuss the general notion of model-checking games. While it is easily seen that the semantics of first-order logic can be captured by reachability games, more effort is required to see that parity games are the appropriate games for.
- Temporal
**logic**comes in two varieties: linear-time temporal**logic**assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal**logic**allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal**logic**: alternating-time temporal**logic**offers selective. - Computer science is the study of computers and computing as well as their theoretical and practical applications. Computer science applies the principles of mathematics, engineering, and logic to a plethora of functions, including algorithm formulation, software and hardware development, and artificial intelligence
- IT & Computer Science; You'll also learn about self-motivation, organisation, and attention to detail, as well as logic for games or creativity for world-building. Choosing the right course for you. For example, you can learn about the history of video game music or how data science is used in the games industry

The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview o modifying a logic network. We are given a logic network and told that gate 3 fails and produces the logic value 1 at its output F1 regardless of the inputs. We are then told to redraw the network, making simplifications wherever possible, to obtain a new network that is equivalent to the faulty network and contains as few gates as possible

Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their. Rebooted in 2019, the new Computer Science Technology Program equips students with the most in-demand skills needed for a career in software development or other information technology fields. In our state-of-the-industry labs, your hands-on learning experience will cover web applications, mobile apps, business software, automation tools and machine learning A new constructive logic: classic logic - Volume 1 Issue 3. To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account In computer science, labeled transition systems (LTSs) are commonly used to represent possible computation pathways during execution of a program. Wikipedia has some examples in its article modal logic: Versions of temporal logic can be used in computer science to model computer operations and prove theorems about them Research about board games for kids. Some board games reward logical reasoning. For example, the game of Clue (see below) can be used as a tool to teach deductive logic (Neller et al 2006).. And the game Mastermind has been used to test the aptitude of college students for computer programming (Lorenzen and Chang 2006).. However, we can't assume that playing board games will make kids better.

Computer Science is the study of how computers work, mostly from the theoretical and mathematical perspective. You should choose Computer Science if you like math, logic, or if you want to get into a specialized field in CS such as artificial intelligence, machine learning, security, or graphics TY - CHAP. T1 - Type-2 fuzzy logic control in computer games. AU - Sahin, Atakan. AU - Kumbasar, Tufan. PY - 2018/2/8. Y1 - 2018/2/8. N2 - In this chapter, we will present the novel applications of the Interval Type-2 (IT2) Fuzzy Logic Controllers (FLCs) into the research area of computer games Algorithms are the sets of steps necessary to complete computation - they are at the heart of what our devices actually do. And this isn't a new concept. Sin.. Computer Science » Spring 2019 » LOGIC IN COMPUTER SCIENCE; Course Description . The course will cover the logic of programs, epistemic logic, the logic of games, belief revision, and if time permits, other topics to be specified later. Topic List Program correctness and Hoare Logic Dynamic Logic The Temporal Logic of Programs Game Logic. * A technical introduction to computer science*. Organization of hardware, software, information, and an introduction to programming. For potential Computer Science majors who may not be prepared for CSCI 135, science majors who need some basic computer knowledge, and for non-majors who want a more rigorous introduction to the field than CSCI 120

About This Game Build. Program. Simulate. Logic World teaches you how circuits do math. Key Features. Digital Logic - Build circuits that work the same way real world computer chips do.; Challenges - Solve puzzles from simple logic gates to complex machines like calculators and data storage.; Multiplayer - Logic World is built from the ground up for collaborative multiplayer The logic games are separated in 6 categories according to the game type and the logic type as following: Classic Logic Games - This collection includes popular logic games made for a computer. Logic Puzzles - This collection includes drag and drop games about interesting logic knowledge Solving two-variable logic games flashcards 108 Flashcards. Of any of the LSAT's sections, the Analytical Reasoning section has perhaps become the most notorious in popular imagination due to the rigor and complexity of its logic games.. Accounting for a 25% of a test-taker's LSAT score, the Analytical Reasoning section makes an.

Math Playground has more than 500 free, online math games, logic games and strategy puzzles that will give your brain a workout. Play Bloxorz, 2048 and all your favorite games Retail: $19.99. Our Price: $14.50. No reviews. Battle Sheep. Our Price: $24.99. 1 2 Next ». For literally decades Timberdoodle has been known for our thinking skills resources. In fact, the intensity of our thinking skills courses is one of the top features in Timberdoodle's Complete Curriculum Kits

The factory is up and running again! Paint the balls and ship them out. Divide. Cut blocks of wood into the right number of pieces. You've got a limited number of slices to cut the wood into the correct number of pieces. Be precise when you slice! Truck Loader 4. Use the magnetic tractor to load crates into the truck In a computer science bachelor's degree program, additional topics related to programming logic may include artificial intelligence. Though you may take some basic courses in programming logic or applied discrete mathematics as part of an introduction to computer programming languages, you may pursue advanced logic-related topics through the Ph.D. level

- Pebble Games and Linear Equations: Martin Grohe, Martin Otto: Journal of Symbolic Logic 80(3), 2015. Proceedings of the 26th International Workshop on Computer Science Logic (CSL'12), Leibniz International Proceedings in Informatics (LIPIcs), Volume 16, 2012. Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs
- Build. Program. Simulate. Logic World teaches you how circuits do math. Key Features. Digital Logic - Build circuits that work the same way real world computer chips do.. Challenges - Solve puzzles from simple logic gates to complex machines like calculators and data storage.. Multiplayer - Logic World is built from the ground up for collaborative multiplayer
- Logic is important because it allows people to enhance the quality of the arguments they make and evaluate arguments constructed by others. It is also an essential skill in academic disciplines, such as computer science and mathematics. When a person argues logically, he's more likely to convince people of the validity of his claims or get them.
- Boolean logic, originally developed by George Boole in the mid 1800s, allows quite a few unexpected things to be mapped into bits and bytes. The great thing about Boolean logic is that, once you get the hang of things, Boolean logic (or at least the parts you need in order to understand the operations of computers) is outrageously simple
- ute manic desperation coursing through your veins, you turn on your computer and.
- Other articles where Logic bomb is discussed: information system: Computer crime and abuse: A logic bomb consists of hidden instructions, often introduced with the Trojan horse technique, that stay dormant until a specific event occurs, at which time the instructions are activated. In one well-known case, in 1985 a programmer at an insurance company in Fort Worth, Texas, place

- Former UBC Student Gets $100M Investment for his Company. May 26, 2021. Alumni profile: Mik Kersten, CEO, Tasktop Technologies A UBC Computer Science alumnus ultra-successful spinoff company, Tasktop, has just received an investment
- Computer science. Wiebe van der Hoek (Liverpool) Mathematical Logic. Benedikt Löwe (Amsterdam) Linguistics and Philosophy. Robert van Rooij (Amsterdam) Economics and game theory. Bernhard von Stengel (London) Editorial assistant. Cédric Dégremont (Amsterdam) Technical assistant. Joel Uckelman (Amsterdam) Sponsors. Marie Curie Research.
- Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources.To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals
- Many areas of computer science have benefitted from this framework, including artificial intelligence, distributed computing, security and privacy, and lower bounds. Games are particularly important in computational complexity, where they are used to characterize complexity classes, to understand the power and limitations of those classes, and to interpret the complete problems for those classes
- Filed under Computer Science, Logic and Modelling, Maths Tagged with CNF, COMP10020, COMP20141, Logic, Maths, Modelling, Year 1, Year 2. About Badgerati Computer Scientist, Games Developer, and DevOps Engineer. Fantasy and Sci-fi book lover, also founder of Cadaeic Studios
- This volume constitutes the refereed proceedings of the 24th International Workshop on
**Computer****Science****Logic**, CSL 2010, held in Brno, Czech Republic, in August 2010. The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics c

- g the other way. As everyone knows, tasmanian camels never go backwards, especially when on a precarious ledge. The camels will climb over each other, but only if there is a camel sized space on the other side
- Mathematical Logic for Computer Science: Second Edition: 47. Paperback - 24 August 1998. by Lu Zhongwan (Author) 3.0 out of 5 stars 1 rating. See all formats and editions Hide other formats and editions. Amazon Price. New from. Used from. Paperback
- Find 23 ways to say LOGIC, along with antonyms, related words, and example sentences at Thesaurus.com, the world's most trusted free thesaurus
- Tap the purple magnet to select it. Place it into another tile to push the black circles and fill in all of the highlighted spaces. Click on the purple magnet to grab it, then click again to move it. It pushes all of the black metal circles away. Get a magnet in all of the highlighted spaces in each level. 3.8
- CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): Von Wright founded deontic logic in 1951 by observing that the relation between obligation and permission is like the relation between necessity and possibility, expressed by P p = ¬O¬p and ⋄p = ¬ ¬p respectively. Soon he realizes that there is not a single notion of permission, and he distinguishes weak from.
- g and synchronization. The semester begins with lectures and problem sets, to introduce fundamental topics before students embark on lab assignments and.
- Define logic. logic synonyms, logic pronunciation, logic translation, English dictionary definition of logic. ) n. 1. computer science, computing - the branch of engineering science that studies (with the aid of computers) computable processes and structures. 5

[LOGIC] List Mailing Archive 2021 Follow @LOGIC_list on Twitter. Subscribe to the [LOGIC] list in order to receive information about conferences, job advertisements and logic-related news.. Archived years: 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all Received: 2021-05-26: . NMR-2021: Non-Monotonic Reasoning, Virtual, 6-8 Nov 202 6.111 consists of lectures and labs on digital logic, flipflops, PALs, counters, timing, synchronization, finite-state machines, and microprogrammed systems. Students are expected to design and implement a final project of their choice: games, music, digital filters, graphics, etc. The course requires extensive use of VHDL for describing and implementing digital logic designs. 6.111 is worth. 12 Sep 2007 Classic Computer Science Puzzles. Software developers do have a proclivity for puzzles. Perhaps that's why books like To Mock a Mockingbird exist. It's a collection of logic puzzles which is considered an introduction to lambda calculus, one of the core concepts of Lisp.. Such puzzle questions are de rigueur for many programming interviews, though they're often abused Luck, Logic, and White Lies: The Mathematics of Games, Second Edition considers a specific problem—generally a game or game fragment and introduces the related mathematical methods. It contains a section on the historical development of the theories of games of chance, and combinatorial and strategic games