| Маркер записи | n |
| Контрольный номер | RU/IS/BASE/612260025 |
| Дата корректировки | 7:51:49 28 мая 2019 г. |
| ISBN | 5-02-007156-0 |
| Вид содержания и средства доступа | 0-65 |
| Служба первич. каталог. |
Лапко БГТУ |
| Код языка каталог. | rus |
| Правила каталог. | PSBO |
| Код языка издания | rus |
| Индекс УДК | 519.85 |
| Полочн. индекс | 519 |
| Авторский знак | Л69 |
|
Алешина, Наталия Альбертовна Н. А. Алешина |
|
|
Логика и компьютер. Моделирование рассуждений и проверка правильности программ Текст Академия наук СССР ; [редкол.: акад. И. М. Макаров (пред.) и др. ; предисл. акад. И. М. Макаров ; науч. ред. д-р филос. наук Е. Д. Смирнова] |
|
| Моделирование рассуждений и проверка правильности программ | |
| Место издания | Москва |
| Издательство | Наука |
| Дата издания оригинала | 1990 |
| Объем | 238, [1] с. |
| Серия | Кибернетика - неограниченные возможности и возможные ограничения : осн. в 1963 г. |
| Аннотация | В книге детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. |
|
логика информатика классическая первопорядковая логика логика в программировании моделирование рассуждений проверка правильности программ |
|
| Другие авторы | Анисов, Александр Михайлович |
|
Быстров, Петр Иванович Герасимова, И. А. Меськов, В. С. Смирнов, В. А. Шалак, В. И. |
|
| Организация/ юрисдикция | Академия наук СССР |
| Тип документа | m |
