Book / resource recommendations for machine learning / artificial intelligence?

Hi guys,

I'm a software developer. I'm interested in learning about artificial intelligence and machine learning, particularly optical character recognition. Are there any good books or resources that you'd recommend?

My maths background needs a lot of dusting up on, so i'd appreciate anything that teaches the maths as well (if / where its needed).

Thanks.