|  

Udemy - Introduction to Lambda Calculus for Complete Beginners



Size :339.3 MB
Peers : Seeders : 0      Leechers : 0
Added : 10 months ago » by freecoursewb » in Other
Language : English
Last Updated :7 months ago
Info_Hash :A8F93137E3D10F19D5AF29CA3BAF118415CEF43A

Torrent File Contents

Udemy - Introduction to Lambda Calculus for Complete Beginners
  Get Bonus Downloads Here.url
  -  182 Bytes

  ~Get Your Files Here !/1. Introduction/1. Introduction to Lambda Calculus.mp4
  -  38.15 MB

  ~Get Your Files Here !/1. Introduction/1. Introduction to Lambda Calculus.srt
  -  5.45 KB

  ~Get Your Files Here !/1. Introduction/1.1 Introduction to Lambda Calculus.pdf
  -  623.5 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/1. Grammar.mp4
  -  24.18 MB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/1. Grammar.srt
  -  7.38 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/1.1 Grammar.pdf
  -  461.36 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/2. Operations.mp4
  -  18.27 MB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/2. Operations.srt
  -  5.17 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/2.1 Operations.pdf
  -  448.26 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/3. Currying.mp4
  -  28.66 MB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/3. Currying.srt
  -  8.17 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/3.1 Currying.pdf
  -  426.36 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/4. Currying Questionnaire.html
  -  165 Bytes

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/5. β - Reduction.mp4
  -  20.57 MB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/5. β - Reduction.srt
  -  5.64 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/5.1 β-reduction.pdf
  -  456.99 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/6. Free and Bound Variables.mp4
  -  16.74 MB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/6. Free and Bound Variables.srt
  -  3.88 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/6.1 Free and Bound Variables.pdf
  -  417 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/7. Reduction Orders.mp4
  -  78.61 MB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/7. Reduction Orders.srt
  -  17.66 KB

  ~Get Your Files Here !/2. Fundamentals of λ-calculus/7.1 Reduction Orders.pdf
  -  463.37 KB

  ~Get Your Files Here !/3. Solved Exams/1. Exam 1.mp4
  -  39.03 MB

  ~Get Your Files Here !/3. Solved Exams/1. Exam 1.srt
  -  17.12 KB

  ~Get Your Files Here !/3. Solved Exams/1.1 Exam 1.pdf
  -  479.29 KB

  ~Get Your Files Here !/3. Solved Exams/2. Exam 2.mp4
  -  20.67 MB

  ~Get Your Files Here !/3. Solved Exams/2. Exam 2.srt
  -  9.76 KB

  ~Get Your Files Here !/3. Solved Exams/2.1 Exam 2.pdf
  -  422.64 KB

  ~Get Your Files Here !/3. Solved Exams/3. Exam 3.mp4
  -  49.76 MB

  ~Get Your Files Here !/3. Solved Exams/3. Exam 3.srt
  -  19.17 KB

  ~Get Your Files Here !/3. Solved Exams/3.1 Exam 3.pdf
  -  464.42 KB

  ~Get Your Files Here !/Bonus Resources.txt
  -  386 Bytes



Torrent Description

Introduction to Lambda Calculus for Complete Beginners

https://DevCourseWeb.com

Last updated 12/2022
Created by Lucas Bazilio
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz, 2 Ch
Genre: eLearning | Language: English + srt | Duration: 10 Lectures ( 1h 18m ) | Size: 339 MB

Learn λ-calculus from scratch

What you'll learn:
Master the fundamentals of λ-calculus from scratch.
Know the grammar of λ-calculus.
Applications of λ-calculus in functional languages: Haskell, ML, Scala...
Know the technique of Currying.
Know how to apply β-reduction in algebraic expressions.
Know the α-conversion rule to rename variables.

Requirements:
No prior lambda calculus experience is necessary.