Giter Site home page Giter Site logo

malikpiara / logicola Goto Github PK

View Code? Open in Web Editor NEW
43.0 1.0 1.0 1.5 MB

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

Home Page: https://logicola.org

License: MIT License

CSS 0.85% TypeScript 98.56% JavaScript 0.59%
education elearning formal-logic learning logic quizapp logicola

logicola's Introduction

Only you know who you can set out to be — Never let anyone tell you otherwise.

My name is Malik, I was born in Lisbon and moved to Berlin where I work in product enablement (what the industry calls Product Manager). In my free time, you can find me building apps, events and communities that foster connection, enable education and create more access to opportunities.

Right Now, I'm:

  • ✨ Writing my dissertation on the application and impact of reciprocation in human-computer interaction.
  • 🍁 Building Outono.org, a way to find and have coffee with Portuguese people working in tech, anywhere in the world.
  • 🌱 Building and maintaining Logicola, an e-learning platform, originally created by the late Harry Gensler, so more students can learn formal logic and improve their reasoning.

✨ Looking to learn with more seasoned technical PMs and to collaborate in projects that touch computer networks, distributed systems, blockchain and decentralisation. I want to build something that makes the web better and improves the infrustructure of the internet. If you're stumbling upon my profile and feel like grabbing a digital coffee would be energising, please reach out:

logicola's People

Contributors

dependabot[bot] avatar malikpiara avatar markwitt1 avatar moshrank avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar

Forkers

markwitt1

logicola's Issues

2 identical answers

Set C Propositional Logic
Question 4/10 – it has 2 identical correct answers to question, one normal and one is the same but with one extra pair of parentheses outside of propositional expressio. they look like "~ ... V N" and "(~ ... V N)". Here ellipsis is for Propositional variable whose name I don't remember.

Create documentation to enable collaboration

Right now it's hard for anyone to contribute because there is no documentation on how to do so. I should create rules and update the README with helpful guidelines and resources.

Cannot select more than one answer in Quiz

Few quiz questions require more than one selected answer, it impossible to select more than one at least using my mobile Chrome browser, but probably this is same with any device and any browser.
2) It will be good to warn the user in cases when he is allowed to select mire than one answer and when he can only choose 1 answer.

The frontpage is a bit misleading

I stumbled across this from hackernews.

I think a big problem now is that the frontpage looks like you need to sign up, or that it's a newletter signup page. It spends a third of the page on the update newsletter signup and the real content is hidden behind a tiny "chapters" menu in the top.

Imo the front page should be two big buttons for the two chapters so you can click through and start directly.

Problem with two correct answers.

        id: '6.41',
        prompt: 'If D then M, and L',
        options: [
          { id: 0, label: '$ D \\rightarrow M \\cdot L $' },
          { id: 1, label: '$ (D \\rightarrow M) \\cdot L $' },
          { id: 2, label: '$ (D \\rightarrow (M \\cdot L)) $' },
          { id: 3, label: '$ ((D \\rightarrow M) \\cdot L) $' },
        ],
        correctId: [3],
        answer: '',

Answers 1 and 3 (2 and 4 in screenshot) are equivalent. Wrapping the statement with an additional parentheses doesn't affect the logical semantics.

logicola/contentOld.tsx

Lines 492 to 501 in 47cce3f

id: '6.41',
prompt: 'If D then M, and L',
options: [
{ id: 0, label: '$ D \\rightarrow M \\cdot L $' },
{ id: 1, label: '$ (D \\rightarrow M) \\cdot L $' },
{ id: 2, label: '$ (D \\rightarrow (M \\cdot L)) $' },
{ id: 3, label: '$ ((D \\rightarrow M) \\cdot L) $' },
],
correctId: [3],
answer: '',

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.