The Methodical Recommendations of Study of a Theme "Normal Forms for the Formulas of Algebra of the Statements" with use of Integrated Program Environment "MatLog".
In the article the speech goes about implementation of new information technologies in process of mathematical logic learning at the Kherson State University. The questions of a technique of training to bases of mathematical logic with use of integrated program environment "MatLog" are con...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Kherson State University,
2008-11-01T00:00:00Z.
|
| Subjects: | |
| Online Access: | Connect to this object online. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Connect to this object online.3rd Floor Main Library
| Call Number: |
A1234.567 |
|---|---|
| Copy 1 | Available |