Зведений каталог бібліотек Харкова

 

510.6
Л69Алешина, Н. А.
    Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] / науч. ред. Е.Д. Смирнова; АН СССР. — М. : Наука, 1990. — 238 с.
ISBN 5-02-007156-0


- Ключові слова:

комп'ютери, компьютеры, computers, ordinateurs ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik

- Теми документа

  • Персоналії // Алешина Наталья Альбертовна
  • Персоналії // Анисов Александр Михайлович
  • Персоналії // Быстров Петр Иванович
  • УДК // Комп’ютери. Види комп’ютерів
  • ББК // Комп'ютери. Електронні обчислювальні машини
  • УДК // Математична логіка
  • ББК // Обчислювальна техніка
  • УДК // Програмне забезпечення



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 1 Перейти на сайт
Наукова бібліотека Харківського національного університету радіоелектроніки 5 Перейти на сайт
Наукова бібліотека Харківського національного педагогічного університету імені Г. С. Сковороди 7 Перейти на сайт
Наукова бібліотека Харківського державного університету харчування та торгівлі 1  
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 1 Перейти на сайт