Advertisement
If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)
Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie
Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

Calculus and Comp Sci

  • 16-08-2011 3:06pm
    #1
    Registered Users, Registered Users 2 Posts: 934 ✭✭✭


    Hey has anybody had the experience of doing predicate calculus and lambda calculus in Computer Science (Stage 3). What was it like? I had absolutely no love of calculus in LC Maths - please tell me it is at most a distant cousin (I'm hoping as it's not actually a maths module!)

    :confused::eek:


Comments

  • Closed Accounts Posts: 510 ✭✭✭Xhristy


    This post has been deleted.


  • Registered Users, Registered Users 2 Posts: 934 ✭✭✭OneOfThem Stumbled


    Xhristy wrote: »
    This post has been deleted.

    Comp 30010 (Foundations)/ Comp 30060 (Programme Contruction) O.o


  • Closed Accounts Posts: 510 ✭✭✭Xhristy


    This post has been deleted.


  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    Xhristy wrote: »
    This post has been deleted.

    Is there any book out there for Program Construction? I haven't done Discrete Maths...


  • Closed Accounts Posts: 510 ✭✭✭Xhristy


    This post has been deleted.


  • Advertisement
  • Registered Users, Registered Users 2 Posts: 934 ✭✭✭OneOfThem Stumbled


    Fad wrote: »
    Is there any book out there for Program Construction? I haven't done Discrete Maths...

    Neither have I, Fad!


  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    Xhristy wrote: »
    This post has been deleted.

    I'm in comp sci through omnibus, couldn't do discrete maths last year because of clashes....

    Instead I got to do UCD's wonderful excuse of a databases course....


  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    Neither have I, Fad!

    Science Omnibus? If so what other subject were you doing?:eek:


  • Registered Users, Registered Users 2 Posts: 934 ✭✭✭OneOfThem Stumbled


    Fad wrote: »
    Science Omnibus? If so what other subject were you doing?:eek:

    BA :o


  • Closed Accounts Posts: 510 ✭✭✭Xhristy


    This post has been deleted.


  • Advertisement
  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    BA :o

    All the BA's I know did discrete maths :O


  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    Xhristy wrote: »
    This post has been deleted.

    Databases was an appalling module... everytime the school quotes some bollox about them being the number one school in europe I think back to some of the foundation CS courses like it and architecture and my programming modules.... genuinely shocking stuff....

    Tbh, when things are organised like they were I'm not surprised they withdrew the option to do it through omnibus....

    I'll send him a mail and suss things out, thanks!


  • Closed Accounts Posts: 510 ✭✭✭Xhristy


    This post has been deleted.


  • Registered Users, Registered Users 2 Posts: 428 ✭✭Joneser


    I just graduated from Comp Sci this year and for the guys looking for any books for program construction, I know that Henry (the Lecturer) recommended the book by Roland Backhouse.

    Program Construction: http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470848820.html?0470848820=

    Here is a little bit of material similar to that of the first year course as well which you may want to have a quick glance over: http://www.cs.ox.ac.uk/jeremy.gibbons/wg21/meeting58/backhouse-problems.pdf

    As for Foundations of Computing, it is all about the logic of how computers compute certain things and whether it is even possible. it is quite a difficult module, but nothing compared to Compiler Construction in my opinion ;)


  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    Xhristy wrote: »
    This post has been deleted.

    Oh there are other reasons I know, like when I was moving into second year I saw the new first year modules and was genuinely jealous, same with the new second year ones >_<

    What was the OOP module like? Hoping we still get to do Ruby anyway!


    Joneser wrote: »
    I just graduated from Comp Sci this year and for the guys looking for any books for program construction, I know that Henry (the Lecturer) recommended the book by Roland Backhouse.

    Program Construction: http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470848820.html?0470848820=

    Here is a little bit of material similar to that of the first year course as well which you may want to have a quick glance over: http://www.cs.ox.ac.uk/jeremy.gibbons/wg21/meeting58/backhouse-problems.pdf

    As for Foundations of Computing, it is all about the logic of how computers compute certain things and whether it is even possible. it is quite a difficult module, but nothing compared to Compiler Construction in my opinion ;)

    Thank you!

    I was looking forward to CC, anything I should make sure to be really comfortable with before I do it?


  • Registered Users, Registered Users 2 Posts: 428 ✭✭Joneser


    Thank you!

    I was looking forward to CC, anything I should make sure to be really comfortable with before I do it?

    No problem :)

    Funnily enough the stuff I think you need to be comfortable with is taught in the foundations of computing module :P

    The main thing you will need to know about and understand are the different types of grammars. Some info here: http://www.antlr.org/wiki/display/ANTLR3/Quick+Starter+on+Parser+Grammars+-+No+Past+Experience+Required

    I know that may look confusing to you now but bookmark it somewhere and come back to it in 2-3 months time and it should make a little more sense to you :)

    For Foundations of Computing you will probably be using http://www.amazon.co.uk/Introduction-Automata-Theory-Languages-Computation/dp/0321514483/ref=sr_1_1?ie=UTF8&qid=1313521028&sr=8-1 (Chris will be able to clarify as I had a different lecturer than him).

    I'm sure you can find a pdf version of it somewhere so it might be worth having a flick through in advance ;)


  • Registered Users, Registered Users 2 Posts: 7,231 ✭✭✭Fad


    Joneser wrote: »
    No problem :)

    Funnily enough the stuff I think you need to be comfortable with is taught in the foundations of computing module :P

    The main thing you will need to know about and understand are the different types of grammars. Some info here: http://www.antlr.org/wiki/display/ANTLR3/Quick+Starter+on+Parser+Grammars+-+No+Past+Experience+Required

    I know that may look confusing to you now but bookmark it somewhere and come back to it in 2-3 months time and it should make a little more sense to you :)

    For Foundations of Computing you will probably be using http://www.amazon.co.uk/Introduction-Automata-Theory-Languages-Computation/dp/0321514483/ref=sr_1_1?ie=UTF8&qid=1313521028&sr=8-1 (Chris will be able to clarify as I had a different lecturer than him).

    I'm sure you can find a pdf version of it somewhere so it might be worth having a flick through in advance ;)


    I was talking to the lecturer briefly and he mentioned that book.

    Looks like 3rd year will be a fair jump in difficulty coupled with modules actually becoming interesting!


Advertisement