Not signed in (Sign In)

Welcome, Guest

Want to take part in or be able to receive e-mail notifications for these discussions? Sign in if you have an account, or sign up for one below

Vanilla 1.1.5a is a product of Lussumo. More Information: Documentation, Community Support.

Freeware to teach logic at high shool and college levels

Bottom of Page

1 to 5 of 5

  1.  
  1.  # 1
    Hi,

    Readers here may be interested in some software I have developed to teach formal logic and proof. More info and free download at my website: http://www.dcproof.com

    Regards,
    Dan
    •  
      CommentAuthortashirosgt
    • CommentTimeFeb 24th 2009
     # 2
    Since I advocate teaching logic, I should look at this software. But I don't have any MS Windows computers!
  3.  # 3
    There are number of Windows emulators available that will allow you to run Windows applications on other platforms. You might have a look at www.winehq.org I haven't had to use their product, but I have had some good dealings with them.

    Dan
    •  
      CommentAuthordavid
    • CommentTimeFeb 27th 2009
     # 4
    Hi Dan,

    I installed your program on my system. I have an old system, running Windows 98SE. After I installed it and ran the program, I got the following error right as soon as the DC Proof program screen came on:

    This program has performed an illegal operation and will be shut down.

    If the problem persists, contact the program vendor.

    DC PROOF caused an invalid page fault in
    module KERNEL32.DLL at 0167:bff7b9a6.
    Registers:
    EAX=00000000 CS=0167 EIP=bff7b9a6 EFLGS=00000246
    EBX=00000000 SS=016f ESP=0070f30c EBP=0070f320
    ECX=014608c0 DS=016f ESI=01460928 FS=0ee7
    EDX=01354250 ES=016f EDI=01460928 GS=0000
    Bytes at CS:EIP:
    ff 76 04 e8 13 89 ff ff 5e c2 04 00 56 8b 74 24
    Stack dump:
    014608c0 708feb88 01460928 01460980 013542c8 0070f344 708fc50f 01354904 00001000 0070f340 00000000 013542c8 00000000 00000000 0070f360 708f6cbe

    Do you know what that could be?

    Thanks,

    David
  5.  # 5
    David,

    This is a new one for me. If you are only having this problem with DC Proof, try uninstalling and reinstalling it.

    I found this tip at the About.com website at http://pcsupport.about.com/od/findbyerrormessage/a/kernel32dll.htm

    If this doesn't work, you might check the other suggestions there. There is also a link near the bottom of the page to a PC support forum. If you cannot easily resolve the problem, write to me at dcproof@gmail.com , let me know what you tried and the results, and I will research the problem further.

    Dan

1 to 5 of 5

  1.