{"id":"https://openalex.org/W4407681312","doi":"https://doi.org/10.1145/3641555.3704752","title":"Combining Discrete Math and Automata Theory into a Single Course","display_name":"Combining Discrete Math and Automata Theory into a Single Course","publication_year":2025,"publication_date":"2025-02-18","ids":{"openalex":"https://openalex.org/W4407681312","doi":"https://doi.org/10.1145/3641555.3704752"},"language":"en","primary_location":{"id":"doi:10.1145/3641555.3704752","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641555.3704752","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109023302","display_name":"Ashwin Lall","orcid":"https://orcid.org/0000-0002-9113-8149"},"institutions":[{"id":"https://openalex.org/I20577493","display_name":"Denison University","ror":"https://ror.org/05pqx1c24","country_code":"US","type":"education","lineage":["https://openalex.org/I20577493"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ashwin Lall","raw_affiliation_strings":["Denison University, Granville, OH, USA"],"raw_orcid":"https://orcid.org/0000-0002-9113-8149","affiliations":[{"raw_affiliation_string":"Denison University, Granville, OH, USA","institution_ids":["https://openalex.org/I20577493"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109023302"],"corresponding_institution_ids":["https://openalex.org/I20577493"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0208139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1771","last_page":"1771"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9761999845504761,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9761999845504761,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11283","display_name":"Experimental Learning in Engineering","score":0.9527000188827515,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.926800012588501,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/course","display_name":"Course (navigation)","score":0.7966712117195129},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5719487071037292},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5048547387123108},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36957746744155884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3617502450942993},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.3537900447845459},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34482061862945557},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3331190347671509},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1451912224292755},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08969852328300476}],"concepts":[{"id":"https://openalex.org/C2777552389","wikidata":"https://www.wikidata.org/wiki/Q1962728","display_name":"Course (navigation)","level":2,"score":0.7966712117195129},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5719487071037292},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5048547387123108},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36957746744155884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3617502450942993},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.3537900447845459},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34482061862945557},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3331190347671509},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1451912224292755},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08969852328300476},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3641555.3704752","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641555.3704752","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W4318717247","https://openalex.org/W2267656092","https://openalex.org/W2317874921","https://openalex.org/W2736755255","https://openalex.org/W4362648715","https://openalex.org/W2009385780","https://openalex.org/W3082623308","https://openalex.org/W3120503679","https://openalex.org/W2124122503"],"abstract_inverted_index":{"This":[0,47,98,214],"tutorial":[1,215],"will":[2,91,216,236],"provide":[3],"a":[4,8,21,43,104,133,228,238],"template":[5],"for":[6,53,111],"how":[7,89],"CS":[9,96,125],"program":[10],"can":[11],"combine":[12],"its":[13],"discrete":[14,139],"math":[15,66,85,140],"and":[16,86,126,165,194,205,249],"automata":[17,73],"theory":[18,74],"offerings":[19,56],"into":[20],"single":[22,229],"course.":[23],"Doing":[24],"this":[25,30,209,225],"serves":[26],"two":[27],"purposes.":[28],"First,":[29],"allows":[31],"course-limited":[32],"programs":[33],"(e.g.,":[34],"liberal":[35,106],"arts":[36,107],"colleges)":[37],"to":[38,58,71,78,82,87,93,116,176,200,223],"offer":[39],"both":[40],"courses":[41],"in":[42,69,174,211,227],"single-semester":[44],"4-credit":[45],"experience.":[46],"might":[48],"help":[49],"with":[50,121,244],"creating":[51],"space":[52],"other":[54],"required":[55],"or":[57],"overcome":[59],"staffing":[60],"challenges.":[61],"Second,":[62],"the":[63,84,112,206,212,218],"introduction":[64],"of":[65,136,168],"concepts":[67],"just":[68,173],"time":[70,175],"learn":[72,83,177,201],"gives":[75],"more":[76],"motivation":[77],"computer":[79],"science":[80],"students":[81],"see":[88],"it":[90],"connect":[92],"their":[94],"later":[95],"coursework.":[97],"approach":[99],"has":[100],"been":[101],"used":[102,220],"by":[103,150,153],"small":[105],"college":[108],"(Denison":[109],"University)":[110],"past":[113],"8":[114],"years":[115],"great":[117],"success.":[118],"Students":[119,196],"start":[120],"minimal":[122],"prerequisites":[123],"(introductory":[124],"high":[127],"school":[128],"algebra).":[129],"The":[130],"course":[131,226],"covers":[132],"wide":[134],"range":[135],"topics":[137,170,179],"from":[138],"such":[141,180],"as":[142,181],"sets,":[143],"strings,":[144],"languages,":[145],"logic,":[146],"direct":[147],"proof,":[148],"proof":[149,152],"induction,":[151],"contradiction,":[154],"combinatorics,":[155],"probability,":[156],"elementary":[157],"number":[158],"theory,":[159],"asymptotic":[160],"notation,":[161],"graphs,":[162],"loop":[163],"invariants,":[164],"recurrences.":[166],"Many":[167],"these":[169],"are":[171,197],"introduced":[172],"about":[178,202],"finite":[182],"automata,":[183],"regular":[184],"expressions,":[185],"closure":[186],"properties,":[187],"pumping":[188],"lemma,":[189],"context-free":[190],"grammars,":[191],"Turing":[192,203],"machines,":[193],"computability.":[195],"usually":[198],"excited":[199],"machines":[204],"halting":[207],"problem":[208],"early":[210],"curriculum.":[213],"share":[217],"resources":[219],"at":[221],"Denison":[222],"teach":[224],"semester":[230],"(3":[231],"days/week,":[232],"15":[233],"weeks).":[234],"These":[235],"include":[237],"freely":[239],"available":[240],"online":[241],"PDF":[242],"textbook":[243],"over":[245],"250":[246],"worked":[247],"examples":[248],"550":[250],"exercises.":[251]},"counts_by_year":[],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}