The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
0answers
81 views

Using quantifiers with free indices as declarative conditions in equation solving

This is a toy example: Is there a way to rewrite ...
2
votes
0answers
45 views

Answer Set Programming (ASP)

I am deeply involved in product configuration, i.e. in developing a software infrastructure, which ensures, that a customizable product can actually be manufactured. This involves defining rules for ...
2
votes
0answers
201 views

Reference request for logic programming in Mathematica

I'm learning Mathematica(v8) to use it to program formal logic. Can anyone recommend a logic-specific tutorial text? A reference list of logic-related functions would also be very appreciated!
0
votes
0answers
141 views

Is it possible to simulate a RS latch?

Combining the solutions provided from the nice guys here to my previous two questions(first, second), Interesting enough, simulations for simple logic gates can be implemented easily. An example is ...