Book
Логика и компьютер : Вып. 3 : Доказательство и его поиск (Курс логики компютерный практикум) / Авторы: Смирнов, В. А., Маркин, В. И. и др.; Ответственный редактор: В. А. Смирнов: Российская академия наук.
Record details
- ISBN: 5020136034
- Physical Description: 1-254 стр.
- Publisher: Москва : Наука , 1996.
Content descriptions
| General Note: | მინაწერით. |
| Formatted Contents Note: | Предисловие -- Введение -- Глава I. Натуральное исчисление высказываний -- Глава II. Натуральное исчисление предикатов -- Глава III.Натуральное исчисление предикатов с равенством -- Глава IV. Метод аналитических таблиц -- Глава V. Аксиоматическое построение исчисления предикатов -- Глава VI. Натуральное исчисление с равенством и правилом замены эквивиалентного эквивалентным -- Глава VII. Первопарядковые теории -- Глава VIII. Силлогистика -- Приложение 1. Руководство по исползованию программи deductio -- Приложение 2.Как описывать логические системы -- Приложение 3. Точное определение вывода для натурального исчисления предикатов -- Приложение 4. Задачи. |
Search for related items by subject
| Subject: | Российская академия наук. Логика. компьютер. ლოგიკა. კომპიუტერი. |
Search for related items by series
Available copies
- 1 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Grigol Tsereteli Reading Hall | ლ. მჭედლ-64 (მინაწერით) | 900001918285 | Stacks | Available | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 309203 | ||
| 003 | GUL | ||
| 005 | 20241216112727.0 | ||
| 020 | . | ‡a5020136034 | |
| 080 | 0 | . | ‡a16 + |
| 080 | 0 | . | ‡a004 |
| 092 | . | ‡aЛ-69 | |
| 110 | 2 | . | ‡aРоссийская академия наук. |
| 245 | 1 | 0. | ‡aЛогика и компьютер : ‡nВып. 3 : ‡pДоказательство и его поиск (Курс логики компютерный практикум) / ‡cАвторы: Смирнов, В. А., Маркин, В. И. и др.; Ответственный редактор: В. А. Смирнов: Российская академия наук. |
| 260 | . | ‡aМосква : ‡bНаука , ‡c1996. | |
| 300 | . | ‡a1-254 стр. | |
| 490 | 0 | . | ‡a„Кибернетика-неограниченные возможности и возможные ограничения". |
| 500 | . | ‡aმინაწერით. | |
| 505 | . | ‡aПредисловие -- Введение -- Глава I. Натуральное исчисление высказываний -- Глава II. Натуральное исчисление предикатов -- Глава III.Натуральное исчисление предикатов с равенством -- Глава IV. Метод аналитических таблиц -- Глава V. Аксиоматическое построение исчисления предикатов -- Глава VI. Натуральное исчисление с равенством и правилом замены эквивиалентного эквивалентным -- Глава VII. Первопарядковые теории -- Глава VIII. Силлогистика -- Приложение 1. Руководство по исползованию программи deductio -- Приложение 2.Как описывать логические системы -- Приложение 3. Точное определение вывода для натурального исчисления предикатов -- Приложение 4. Задачи. | |
| 610 | 2 | 4. | ‡aРоссийская академия наук. |
| 650 | 1 | 4. | ‡aЛогика. |
| 650 | 2 | 4. | ‡aкомпьютер. |
| 650 | 2 | 4. | ‡aლოგიკა. |
| 650 | 2 | 4. | ‡aკომპიუტერი. |
| 700 | 1 | . | ‡aСмирнов, В. А. ‡eАвтор. ‡eОтветственный редактор. |
| 700 | 1 | . | ‡aМаркин, В. И. ‡eАвтор. |
| 710 | 2 | . | ‡aРоссийская академия наук. |
| 830 | 0. | ‡aლერი მჭედლიშვილის კოლექცია, შემომწირველი ლ. გაფრინდაშვილი (900001918285). | |
| 910 | . | ‡aღვინაძე მარიამი. | |
| 901 | . | ‡a309203 ‡bAUTOGEN ‡c309203 ‡tbiblio | |
