ламбда

  • 1Ламбда-Исчисление: его синтаксис и семантика , Барендрегт Х. (1985)
    Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Мир Публишерс" ) 1604 руб

  • 2Ламбда-Исчисление : его синтаксис и семантика , Х. Барендрегт (2012)
    Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство`Мир Публишерс`) 1803 UAH

  • 3Введение в теорию программирования , Зыков Сергей Викторович (2018)
    Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… 428 руб

  • 4Введение в теорию программирования Курс лекций Уч пособие , Зыков С. (2004)
    Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… 330 руб

  • 5Введение в теорию программирования. Курс лекций. Учебное пособие , С. В. Зыков (2012)
    Учебный курс ВВЕДЕНИЕ В ТЕОРИЮ ПРОГРАММИРОВАНИЯ основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… 427 UAH

  • 6Введение в теорию программирования. Курс лекций , Зыков Сергей Викторович (2004)
    Учебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной… 427 UAH

  • 7Введение в математическую логику. Учебное пособие , Зюзьков Валентин Михайлович (2018)
    Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам… 2735 руб

  • 8Введение в математическую логику , Зюзьков В.М. (2018)
    Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам… 1384 руб

  • 9Введение в математическую логику Учебное пособие , Зюзьков В. (2018)
    Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам… 1622 руб

  • 10Введение в математическую логику , Зюзьков В.М. (2018)
    Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам… 1790 UAH