Bilaketaren emaitzak - Герасимов А. С. Александр Сергеевич
- Erakusten 1 - 2 emaitzak -- 2
-
1
Курс математической логики и теории вычислимости учебное пособие для вузов nork Герасимов А. С. Александр Сергеевич
Argitaratua Санкт-Петербург, Лань, 2014Sailkapena: Lanean...
Kokapena: Lanean...Liburua Lanean... -
2
Тиристорные цифровые регуляторы температуры nork Скаржепа В. А. Владимир Антонович
Argitaratua Киев, Технiка, 1979Beste egile batzuk:Sailkapena: Lanean...
Kokapena: Lanean...Liburua Lanean...
Bilaketa egiteko lanabesak:
Antzeko gaiak
Вычислимость, теория
Датчики температуры Автоматика
Математическая логика
аксиоматическая теория
булевы функции
высказывания
вычислительная математика
измерительно-преобразующие устройства
исполнительные органы
исчисление
исчисление Хоара
логические законы
логическое программирование
мощность
нагревательные элементы
нейтрали
переменный ток
предикаты
промышленные объекты
свободные подстановки
секвенции
структурные схемы
теорема Эрбрана
теория множеств
терморегуляторы
тиристорные распределители
унификация
учебные пособия
формальные языки
формирователи