Please use this identifier to cite or link to this item:
http://nopr.niscpr.res.in/handle/123456789/28296| Title: | Formalizing by symbolic library logic problems |
| Authors: | Chakraborty, A R |
| Issue Date: | Sep-1969 |
| Publisher: | NISCAIR-CSIR, India |
| Abstract: | Attempts to formalize the statements in a library operation by means of symbolic logic for stream lining further data processing operation. Uses the notation of both the Principia and Polish system of Propositional Calculus. Illustrates the use of Symbolic logic to common library search statements with the aid of truth values. Demonstrate the simplification of a flow chart by truth table. Manipulations like formula conversion and reduction were used to show their help in streamlining library instruction manuals. The application of logical possibilities for defining an optimum path in a complex network of library operations has been hinted. Statements of very simple, idealized and trivial problems are analyzed to determine their logical structure using basic logical concepts and propositional calculus notation in step-by-step exposition. |
| Page(s): | 131-137 |
| ISSN: | 0975-2404 (Online); 0972-5423 (Print) |
| Appears in Collections: | ALIS Vol.16(3-4) [September-December 1969] |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ALIS 16(3-4) 131-137.pdf | 1.34 MB | Adobe PDF | View/Open |
Items in NOPR are protected by copyright, with all rights reserved, unless otherwise indicated.