Results 1 to 1 of 1

Thread: mathematical tools in computer science

  1. #1 mathematical tools in computer science 
    New Member
    Join Date
    Sep 2008
    Hello everyone.

    I am a research student working on network protocols. Now I have a rough idea to use mathematical tools, e.g. formal methods, to examine or even build the model of protocols.

    As I have no in-depth concept of these tools, I would like now ask some naive questions:

    1. What is the relationship between formal methods and type theory, as some papers mentioned that they are inter-related.

    2. What is lamda calculus and its relationship with formal methods.

    Any help will be appreciated. Thanks very much!


    Reply With Quote  


Posting Permissions
  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts