The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Computer Technologies in Logic Education
Abstract
The recent truly revolutionary changes in information technology triggered the rapid proliferation of educational software supporting introductory as well as advanced college-level logic courses. At the same time, many commercial software packages represent a more or less explicit implementation of logic-based programming paradigm. For example, sequential query language (SQL), designed for such popular database management products as Microsoft Access, Microsoft SQL Server, Oracle, and free- source MySQL, is based on logical query language called relational calculus. From this perspective, it seems not only desirable, but also imperative to introduce carefully selected industrial software packages into the standard Logic and Critical Thinking courses, thus, explicitly linking logical theory with existing as well as emerging applications in information technology. Some of such applications would include database systems, data mining, logic programming, and Web ontologies, among others. Artificial intelligence is still another multidisciplinary area where logic plays an especially prominent role. In this paper, we intend to show how logic-based industrial software can be used in conjunction with specialized as well as broad-based logic courses.
Related Content
Jessica A. Manzone, Julia L. Nyberg.
© 2024.
22 pages.
|
Angela Marie Novak, Brittany N. Anderson.
© 2024.
27 pages.
|
Lucy K. Hunt, Erin Yoshida-Ehrmann.
© 2024.
20 pages.
|
Angela Marie Novak.
© 2024.
36 pages.
|
Lynne F. Henwood.
© 2024.
19 pages.
|
Sean Doyle.
© 2024.
20 pages.
|
Nyree D. Clark.
© 2024.
26 pages.
|
|
|