<?xml version="1.0" encoding="UTF-8"?>

<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" >

  <channel>
    <title><![CDATA[Статьи]]></title>
    <link>https://habr.com/ru/users/codedot/publications/articles/</link>
    <description><![CDATA[Хабр: статьи пользователя codedot]]></description>
    <language>ru</language>
    <managingEditor>editor@habr.com</managingEditor>
    <generator>habr.com</generator>
    <pubDate>Fri, 24 Apr 2026 20:48:22 GMT</pubDate>
    
    
      <image>
        <link>https://habr.com/ru/</link>
        <url>https://habrastorage.org/webt/ym/el/wk/ymelwk3zy1gawz4nkejl_-ammtc.png</url>
        <title>Хабр</title>
      </image>
    

    
      
        
    
    <item>
      <title><![CDATA[Конспект монографии по λ-исчислению]]></title>
      <guid isPermaLink="true">https://habr.com/ru/articles/141104/</guid>
      <link>https://habr.com/ru/articles/141104/?utm_campaign=141104&amp;utm_source=habrahabr&amp;utm_medium=rss</link>
      <description><![CDATA[Данный текст представляет собой чрезвычайно сжатый конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его синтаксис и семантика», перевод с английского Г. Е. Минца под редакцией А. С. Кузичева, Москва, «Мир», 1985). Он может оказаться интересен всем тем, кто планировал взяться за систематическое изучение данной темы, уже в общих чертах ознакомившись с ней, но откладывал из-за сложной структуры основной монографии, определения и основные результаты в которой довольно разрозненны. Здесь мы попытаемся сделать изложение, напротив, абсолютно линейным, и, конечно, несравнимо более коротким, избегая лишних определений и примеров, а сосредоточившись на необходимых терминологии, обозначениях и утверждениях, которые, в свою очередь, изложены близко к оригинальному тексту. Мы начнем от определения системы λβη, то есть классического бестипового экстенсионального λ-исчисления. Затем перейдем к комбинаторной логике, теореме о неподвижной точке и синтаксическому сахару. Наконец, заключительная часть конспекта — построение топологии на выражениях этой системы, призванной объяснить кажущееся противоречие: отображения множества выражений в себя содержатся в самом этом множестве при его счетности. На самом же деле, множество наделяется надлежащей топологией, в которой выражения представляют собой непрерывные отображения. <a href="https://habr.com/ru/articles/141104/?utm_campaign=141104&amp;utm_source=habrahabr&amp;utm_medium=rss#habracut">Читать дальше &rarr;</a>]]></description>
      
      <pubDate>Fri, 30 Mar 2012 18:30:30 GMT</pubDate>
      <dc:creator><![CDATA[codedot]]></dc:creator>
      <category><![CDATA[Lisp]]></category><category><![CDATA[Ненормальное программирование]]></category>
      <category><![CDATA[лямбда-исчисление]]></category><category><![CDATA[логика]]></category><category><![CDATA[топология]]></category>
    </item>
  

  

  

	
  

  

  

      

      

      

    
  </channel>
</rss>
